%% Happy demo - Henry Kautz, 2003

happy(X) :- rich(X).
happy(X) :- loves(X,Y),happy(Y).
loves(X,Y) :- spouse(X,Y).
loves(X,Y) :- mother(X,Y).

rich(bill).
spouse(melinda,bill).
mother(mil,melinda).
mother(mary,bill).
rich(paul).
mother(barbara,henry).

