Информационные технологии

Правила в языке Пролог имеют форму:

<голова правила> :- <список подцелей>