Пролог часто используемые правила и факты

Question

Есть ли стандартная библиотека предикатов для Пролога?Я работаю над чат-ботом, у которого будет здравый смысл.Помимо математических правил и фактов мне также понадобятся некоторые базовые английские предикаты, например

even(A) :- 0 is A mod 2.
odd(A) :- 1 is A mod 2.
...

man(X) :- person(X), male(X).
woman(X) :- person(X), female(X).
father(X,Y) :- parent(X,Y), male(X).
...

Было бы чертовски сложно сложить все эти основные правила и факты вручную.Я знаю, что тысячи людей делают подобные предикаты, но есть ли коллекция?Если существуют отдельные правила и факты в области отношений, математики, общих знаний и т. Д.

Answer 1

Мы также можем добавить:

even(X) :- got_revenge(X).
even(X) :- got_same_ammount_as_others(X).
man(X) :- man_kind(X).

Так что эти основные правила не просты. Вы можете использовать что-то вроде wordnet: http://wordnet.princeton.edu/

Старая версия поставляется в виде пакета Prolog http://wordnetcode.princeton.edu/2.1/