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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Как даты хранятся в Oracle?

Как убить процесс, не получив исключение «процесс завершен»?

Исключения, которые не могут быть перехвачены блоком try-catch в коде приложения

Получение значения переменной из localStorage из другого файла javascript

Как передать параметр на локальную HTML-страницу в WP7 / WP8?