Факты: То что известно

В Прологе связь между объектами называется фактом. В естественном

языке связь устанавливается в предложении. В логике предикатов, использу-

емой Прологом, связь соответствует простой фразе (факту), состоящей из

имени связи и объекта или объектов, заключенных в круглые скобки. Как и

предложение, факт завершается точкой.

Ниже представлено несколько предложений на естественном языке со

связью "likes".

Bill likes Cindy. (Билу нравится Санди)

Cindy likes Bill. (Санди нравится Бил)

Bill likes dogs. (Билу нравятся собаки)

А теперь перепишем эти же факты, используя синтаксис Пролога.

likes (bill, cindy).

likes (cindy, bill).

likes (bill, Dogs).

Факты, помимо связей, могут выражать и свойства. Так, например,

предложения естественного языка "Kermit is green" ("Кемит зеленый") и

"Caitlin is girl" ("Кейтлин девочка") на Прологе (выражая те же свойства)

выглядят следующим образом:

green (kermit).

girl (caitlin).