Syntax

• Symbol: Variable beginnt mit Großbuchstaben, sonst Funktions- oder Prädikatsymbol.
• Regel besteht aus

  Kopf (Konklusion) :: Term, Rumpf (Prämisse) :: [Term]

  p(X,Z) :- p(X,Y) , p(Y,Z).

• Fakt: Regel mit leerer Prämisse. p(a,b). p(b,c).
• Anfrage (Query) :: [Term]         ?- p(X,Y).

  auffassen als Regel mit falscher Konklusion false :- p(X,Y).

• Programm besteht aus Menge von Regeln (und Fakten) und einer Anfrage.