Предложения: Факты и Правила.

Программист на Прологе описывает объекты и связи, а затем описывает

правила, при которых эти связи являются истинными. Например, предложение

Bill likes dogs. (Бил любит собак.)

устанавливает связь между объектами Bill и dogs (Бил и собаки); этой

связью является likes (любит). Ниже представлено предложение, описываю-

щее, когда предложение "Bill likes dogs." является истинным:

Bill likes dogs if the dogs are nice. (Бил любит собак, если

эти собаки красивые).