Blame | Last modification | View Log | RSS feed
/* factset2 */
happy(john).
happy(mary).
sad(bill).
sad(barbara).
sad(john).
likes(john,mary).
likes(bill,barbara).
likes(bill,mary).
likes(mary,flowers).
likes(john,corvettes).
likes(john,john).
wise(sam).
happy(X) :- wise(X).
likes(sam,X) :- likes(john,X).
fool(X) :- likes(X,X).