ding

[ker2014-2.git] / report / src / burglary.ail

diff --git a/report/src/burglary.ail b/report/src/burglary.ail
index 482efed..478d0e3 100644 (file)
--- a/report/src/burglary.ail
+++ b/report/src/burglary.ail
@@ -1,24 +1,16 @@
-prob joeW: 5/7.
-prob williamW: 5/7.
-prob jackW: 5/7.
-prob averallW: 5/7.
+prob joe: 5/7.
+prob william: 5/7.
+prob jack: 5/7.
+prob averall: 5/7.
 
-works(joe) <- joeW.
-works(william) <- williamW.
-works(jack) <- jackW.
-works(averall) <- averallW.
+joeWorks <- joe.
+jackWorks <- jack & joe.
+williamWorks <- william.
+averallWorks <- averall & jack & william.
 
-needs(joe, []).
-needs(william, []).
-needs(jack, [joe]).
-needs(averall, [jack, william]).
-
-
-burgels(X) <-
-       works(X) & needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
-
-%burgels(X) <-
-%      works(X) & findall(Y, works(Y), Workers) &
-%      needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
-
-%findall(X, burgels(X), L) & length(L, LX) & LX > 1.
+burglary <- joeWorks & jackWorks.
+burglary <- joeWorks & williamWorks.
+burglary <- joeWorks & averallWorks.
+burglary <- jackWorks & williamWorks.
+burglary <- jackWorks & averallWorks.
+burglary <- williamWorks & averallWorks.