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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Индекс pdf документов в Solr от клиента C #

Могу ли я сделать переменную видимой глобально, не объявляя ее глобальной в каждом конструкторе класса PHP?

Как использовать функцию checkdate, если тип ввода - текст для года?

Сделать Bootstrap Popover Появиться / исчезнуть при наведении вместо Click

Использование карты JavaScript с функцией, имеющей два аргумента