yap-6.3/packages/CLPBN/examples/School/school_32.yap



/*
total_professors(32).

total_courses(64).

total_students(256).

*/

:- source.

:- style_check(all).

:- yap_flag(write_strings,on).

:- ensure_loaded(parschema).

:- yap_flag(unknown,error).
%:- clpbn_horus:set_solver(lve).
%:- clpbn_horus:set_solver(hve).
:- clpbn_horus:set_solver(bp).
%:- clpbn_horus:set_solver(bdd).
:- clpbn_horus:set_solver(ve).
%:- clpbn_horus:set_solver(cbp).

:- ensure_loaded(school32_data).
CLP(BN) stuff. 2012-06-01 13:17:39 +01:00

update package locations to a subdir packages 2009-02-16 12:23:29 +00:00			`/*`
			`total_professors(32).`

			`total_courses(64).`

			`total_students(256).`

			`*/`

			`:- source.`

			`:- style_check(all).`

			`:- yap_flag(write_strings,on).`

add more support for FOVE. 2012-03-22 19:10:15 +00:00			`:- ensure_loaded(parschema).`
update package locations to a subdir packages 2009-02-16 12:23:29 +00:00
CLP(BN) stuff. 2012-06-01 13:17:39 +01:00			`:- yap_flag(unknown,error).`
add flag to lifted knowledge compilation and s/fove/lve 2012-11-08 15:05:48 +00:00			`%:- clpbn_horus:set_solver(lve).`
CLP(BN) stuff. 2012-06-01 13:17:39 +01:00			`%:- clpbn_horus:set_solver(hve).`
			`:- clpbn_horus:set_solver(bp).`
more PFL support. 2012-09-26 00:04:58 +01:00			`%:- clpbn_horus:set_solver(bdd).`
			`:- clpbn_horus:set_solver(ve).`
CLP(BN) stuff. 2012-06-01 13:17:39 +01:00			`%:- clpbn_horus:set_solver(cbp).`

add more support for FOVE. 2012-03-22 19:10:15 +00:00			`:- ensure_loaded(school32_data).`
update package locations to a subdir packages 2009-02-16 12:23:29 +00:00