diff --git a/packages/CLPBN/Makefile.in b/packages/CLPBN/Makefile.in index f4276d85e..602565138 100644 --- a/packages/CLPBN/Makefile.in +++ b/packages/CLPBN/Makefile.in @@ -79,8 +79,7 @@ CLPBN_SCHOOL_EXAMPLES= \ $(CLPBN_EXDIR)/School/evidence_128.yap \ $(CLPBN_EXDIR)/School/parschema.pfl \ $(CLPBN_EXDIR)/School/school_128.yap \ - $(CLPBN_EXDIR)/School/sch32.yap \ - $(CLPBN_EXDIR)/School/school32_data.yap \ + $(CLPBN_EXDIR)/School/school32.yap \ $(CLPBN_EXDIR)/School/school_64.yap \ $(CLPBN_EXDIR)/School/tables.yap diff --git a/packages/CLPBN/examples/School/sch32.yap b/packages/CLPBN/examples/School/sch32.yap deleted file mode 100644 index c455698d6..000000000 --- a/packages/CLPBN/examples/School/sch32.yap +++ /dev/null @@ -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). - diff --git a/packages/CLPBN/examples/School/school32_data.yap b/packages/CLPBN/examples/School/school_32.yap similarity index 99% rename from packages/CLPBN/examples/School/school32_data.yap rename to packages/CLPBN/examples/School/school_32.yap index c6c104026..60323f94e 100644 --- a/packages/CLPBN/examples/School/school32_data.yap +++ b/packages/CLPBN/examples/School/school_32.yap @@ -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). +