Пролог: Как проверить, существует ли предикат?

Question

Oct 14, 2012, 08:22 PM

Как я могу проверить, существует ли предикат в программе Prolog? Это было быexists/1, лайк:

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

Ответы на вопрос(2)

Visual Studio 2012 не может обнаружить средства сборки Visual Studio 2008

Этика robots.txt [закрыто]

Как сопоставить слово, окруженное пробелами ИЛИ в конце / начале строки, используя регулярное выражение Perl?

Пользовательское изображение вкл. / Выкл. IOS 7.0 UI Switch

Векторы в Ардуино