From: Mart Lubbers Date: Tue, 13 Jan 2015 10:49:26 +0000 (+0100) Subject: ding X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=365ccdaaf01c9f12f88b75234930bf591795de30;p=ker2014-2.git ding --- diff --git a/report/src/burglary.ail b/report/src/burglary.ail index 51aff68..482efed 100644 --- a/report/src/burglary.ail +++ b/report/src/burglary.ail @@ -1 +1,24 @@ -% Bestand +prob joeW: 5/7. +prob williamW: 5/7. +prob jackW: 5/7. +prob averallW: 5/7. + +works(joe) <- joeW. +works(william) <- williamW. +works(jack) <- jackW. +works(averall) <- averallW. + +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.