A szabályok Head = Result :- Body. formájú elemek. A predikátumszabályok Head :- Body formájú elemek, ahol a Head legfelsőbb szintű funktora nem az =/2 operátor. A Head term egyik esetben sem lehet változó. A Head legfelsőbb szintű funktora határozza meg, hogy a klóz melyik predikátumhoz vagy függvényhez tartozik; ennek a predikátumnak vagy függvénynek ebben a modulban deklarálva kell lennie egy megelőző pred vagy func deklarációval. A Result-nak és a Head argumentumainak érvényes adat-termeknek kell lenniük (opcionálisan mód minősítővel ellátva). A Body résznek érvényes célnak kell lennie.