report/src/burglary.ail

   1 prob joeW: 5/7.
   2 prob williamW: 5/7.
   3 prob jackW: 5/7.
   4 prob averallW: 5/7.
   5
   6 works(joe) <- joeW.
   7 works(william) <- williamW.
   8 works(jack) <- jackW.
   9 works(averall) <- averallW.
  10
  11 needs(joe, []).
  12 needs(william, []).
  13 needs(jack, [joe]).
  14 needs(averall, [jack, william]).
  15
  16
  17 burgels(X) <-
  18         works(X) & needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
  19
  20 %burgels(X) <-
  21 %       works(X) & findall(Y, works(Y), Workers) &
  22 %       needs(X, Needs) & forall(member(Burgel, Needs), member(Burgel, Workers)).
  23
  24 %findall(X, burgels(X), L) & length(L, LX) & LX > 1.