PPT-Folie
Mary mag jeden, der Wein mag.
mag(mary,X) :- mag(X,wein).
Regeln drücken die Abhängigkeit eines Faktums von einem oder mehreren anderen Fakten aus.
bruder(X,Y) :- männlich(X), eltern(X,A,B), eltern(Y,A,B).
X ist dann der Bruder von Y, wenn X männlich ist und X und Y die gleichen Eltern A und B haben.