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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Есть ли что-то как «непосредственные события» в Javascript?

.parents () без jquery - или querySelectorAll для родителей [дубликат]

Отображение связи ManyToOne с сущностью наследования таблиц классов в Doctrine 2

Создайте вектор строк совместно используемой памяти

Ajax Call In For Loop, для завершения цикла перед выполнением всех вызовов