Prolog arbetar i matematiska termer och accepterar fakta och regler
lat oss ge ett pastaende att alla man ar opalitliga detta kan skrivas
som
For alla X galler att , if X ar en man then X
ar opalitlig
I prolog skrivs detta som
Vi har pastaendena opalitlig och man
opalitlig(X) :- man(X).
Om vi kor programmet visas
opalitlig(X) :- man(X). %alla man ar opalitliga man(jackson). %jackson ar en man ?- opalitlig(jackson). yes % Da ar jackson opalitlig