From 4c1602b74b3619d763737a5141447190965696e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 22 Mar 2012 22:22:16 +0000 Subject: [PATCH] old syntax example. --- packages/CLPBN/examples/School/sch32.yap | 25 ++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 packages/CLPBN/examples/School/sch32.yap 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). +