A rule is of the form Head :- Body. and is read as "Head is true if Body is true".
Правилото ја има следната форма Head :- Body. и истото се чита на следниот начин "Head е вистина ако Body е вистина".