diff --git a/packages/CLPBN/examples/School/sch32.yap b/packages/CLPBN/examples/School/sch32.yap new file mode 100644 index 000000000..4dfb1195b --- /dev/null +++ b/packages/CLPBN/examples/School/sch32.yap @@ -0,0 +1,25 @@ +/* +total_professors(32). + +total_courses(64). + +total_students(256). + +*/ + +:- use_module(library(clpbn)). + +:- source. + +:- style_check(all). + +:- yap_flag(unknown,error). + +:- yap_flag(write_strings,on). + +:- ensure_loaded(schema). + +:- ensure_loaded(school32_data). + +:- set_clpbn_flag(solver, bdd). +