From e66ff6777c661dee1becf99c0b6c905d0da2e338 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Wed, 12 Dec 2012 15:41:41 +0000
Subject: [PATCH] Be consistent: constraint is always on top

---
 .../CLPBN/examples/learning/prof_params.pfl   | 20 +++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/packages/CLPBN/examples/learning/prof_params.pfl b/packages/CLPBN/examples/learning/prof_params.pfl
index 43b822f4e..d43e5b18d 100644
--- a/packages/CLPBN/examples/learning/prof_params.pfl
+++ b/packages/CLPBN/examples/learning/prof_params.pfl
@@ -11,6 +11,16 @@
 %:- clpbn:set_clpbn_flag(em_solver,bp).
 %:- clpbn:set_clpbn_flag(em_solver,bdd).
 
+professor(p0).
+professor(p1).
+professor(p2).
+professor(p3).
+professor(p4).
+professor(p5).
+professor(p6).
+professor(p7).
+professor(p8).
+
 bayes abi(K)::[h,m,l] ; abi_table ; [professor(K)].
 
 bayes pop(K)::[h,m,l], abi(K) ; pop_table ; [professor(K)].
@@ -32,16 +42,6 @@ goal_list([
 	abi(p6,_),
 	pop(p7,_)]).
 
-professor(p0).
-professor(p1).
-professor(p2).
-professor(p3).
-professor(p4).
-professor(p5).
-professor(p6).
-professor(p7).
-professor(p8).
-
 timed_main :-
 	statistics(runtime, _),
 	main(Lik),