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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Как я могу восстановить доступ к моей рабочей области Team Foundation Server?

PHP выполняет запрос в 90 раз дольше, чем клиент MySQL

Что означает «с» в Gradle

Создание значков шрифтов с помощью векторного программного обеспечения (например, inkscape) и fontforge?

Ошибка установки Eclipse: INSTALL_FAILED_UID_CHANGED