-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.