From 8eb657aec2a5d6f57759262e105945420ee4a829 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Wed, 12 Dec 2012 16:00:21 +0000
Subject: [PATCH] Change extension of school parschema to pfl

---
 packages/CLPBN/Makefile.in                                  | 2 +-
 packages/CLPBN/examples/School/README                       | 6 +++---
 .../CLPBN/examples/School/{parschema.yap => parschema.pfl}  | 0
 packages/CLPBN/examples/School/sch32.yap                    | 4 ++--
 4 files changed, 6 insertions(+), 6 deletions(-)
 rename packages/CLPBN/examples/School/{parschema.yap => parschema.pfl} (100%)

diff --git a/packages/CLPBN/Makefile.in b/packages/CLPBN/Makefile.in
index 38d82a6e4..4ad7d2e9b 100644
--- a/packages/CLPBN/Makefile.in
+++ b/packages/CLPBN/Makefile.in
@@ -78,7 +78,7 @@ CLPBN_SCHOOL_EXAMPLES= \
 	$(CLPBN_EXDIR)/School/README \
 	$(CLPBN_EXDIR)/School/evidence_128.yap \
 	$(CLPBN_EXDIR)/School/schema.yap \
-	$(CLPBN_EXDIR)/School/parschema.yap \
+	$(CLPBN_EXDIR)/School/parschema.pfl \
 	$(CLPBN_EXDIR)/School/school_128.yap \
 	$(CLPBN_EXDIR)/School/school_32.yap \
 	$(CLPBN_EXDIR)/School/sch32.yap \
diff --git a/packages/CLPBN/examples/School/README b/packages/CLPBN/examples/School/README
index 0dcd566c8..42160dd35 100644
--- a/packages/CLPBN/examples/School/README
+++ b/packages/CLPBN/examples/School/README
@@ -5,11 +5,11 @@ There are four main files:
 
 school_128.yap: a school with 128 professors, 256 courses and 4096 students.
 school_64.yap: medium size school
-school_32.yap: small school (clp(bn))
+school_32.yap: small school (CLP(BN))
 
-sch32.yap: small school (pfl)
+sch32.yap: small school (PFL)
 
-parschema.yap: the PFL schema
+parschema.pfl: the PFL schema
 
 schema.yap: the CLP(BN) schema
 
diff --git a/packages/CLPBN/examples/School/parschema.yap b/packages/CLPBN/examples/School/parschema.pfl
similarity index 100%
rename from packages/CLPBN/examples/School/parschema.yap
rename to packages/CLPBN/examples/School/parschema.pfl
diff --git a/packages/CLPBN/examples/School/sch32.yap b/packages/CLPBN/examples/School/sch32.yap
index f7cc3ad43..c455698d6 100644
--- a/packages/CLPBN/examples/School/sch32.yap
+++ b/packages/CLPBN/examples/School/sch32.yap
@@ -17,9 +17,9 @@ total_students(256).
 
 :- yap_flag(write_strings,on).
 
-:- ensure_loaded(parschema).
+:- ensure_loaded('parschema.pfl').
 
 :- ensure_loaded(school32_data).
 
-:- set_clpbn_flag(solver, bdd).
+:- set_solver(hve).