Regel in Prolog

• Eine Regel ist eine Klausel mit der Form head :- body.
• body besteht auas Literalen, welche mit aussagenlogische Verknüpfungen verbunden sind
• Regel ist Implikation mehrer Aussagen:

grandmother(G,S) :- mother(G,C),
						  (father(C,S); mother(C,S)).

:- /*Implikation body -> head*/
, /*Konjunktion*/
; /*Disjunktion*/

• ein Fakt in Prolog entspricht einer Regel mit body = true
  • in diesem Bsp.: father(anakin, luke) :- true