diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge sch32 and school32_data and rename to school_32

Browse Source
This commit is contained in:
Tiago Gomes
2012-12-13 17:08:54 +00:00
parent 6b8301d9c4
commit 05e53eaf37
3 changed files with 29 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
packages/CLPBN/examples/School/sch32.yap
View File

@@ -1,25 +0,0 @@
/*
total_professors(32).
total_courses(64).
total_students(256).
*/
:- use_module(library(pfl)).
:- source.
:- style_check(all).
:- yap_flag(unknown,error).
:- yap_flag(write_strings,on).
:- ensure_loaded('parschema.pfl').
:- ensure_loaded(school32_data).
:- set_solver(hve).

28
packages/CLPBN/examples/School/school32_data.yap → packages/CLPBN/examples/School/school_32.yap
View File

@@ -1,3 +1,30 @@
/*
total_professors(32).
total_courses(64).
total_students(256).
*/
:- use_module(library(pfl)).
:- source.
:- style_check(all).
:- yap_flag(unknown,error).
:- yap_flag(write_strings,on).
:- ensure_loaded('parschema.pfl').
:- ensure_loaded(school32_data).
:- set_solver(hve).
professor(p0).
professor(p1).
professor(p2).
@@ -1215,3 +1242,4 @@ registration(r855,c48,s255).
registration(r856,c0,s255).