Pravila su implicitne relacije između objekata. Pravila su uslovno tačna. Kada je uslov tačan tada je i predikat tačan. Evo nekoliko pravila:
- Brki će dobiti 5 ako prati čas
- Učenik ne prati čas ako spava
- Tom i Džeri su prijatelji ako ih obojicu juri Killer
Ova pravila su uslovno tačna. Ako je desna strana pravila (desno od "ako") tačna onda je i leva strana tačna.
Za zapisivanje pravila koristimo sledeće simbole:
:- "ako", "sledi iz". Tzv. neck symbol. Levi deo je head a desni deo body (H i B iskazi, pogledajte 1. Prolog)
, konjukcija, logičko i
; disjunkcija, logičko ili
Sintaksa
naziv_pravila(objekat1, objekat2, ...) :- činjenica.
naziv_pravila(objekat1, objekat2, ...) :- pravilo(objekat1, objekat2, ...).
Ako je klauza oblika:
P :- Q;R.
Možemo da zapišemo i kao
P :- Q.
P :- R.
Ako je klauza oblika:
P :- Q,R;S,T,U.
To se tumači kao:
P :- (Q,R);(S,T,U).
A može da se zapiše i kao
P :- Q,R
P :- S,T,U
Primer
dobiće(5, brki) :- prati_čas(brki).
ne_prati_čas(učenik) :- spava(učenik).
prijatelji(tom, džeri) :- juri(killer, tom), juri(killer, džeri)