【演習問題１：パズル``床屋'' (TPTP/PUZ003-1)】

true-->member(guido),member(lorenzo),member(petruchio),member(cesare).
true-->shaved(guido,cesare).

member(A),member(B),shaved(A,B)-->shaved(members,A).
shaved(members,A),member(B)-->shaved(B,A).

shaved(petruchio,lorenzo)-->false.