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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Как получить доступ к строке в файле по позиции в Java

Интеграция PayuMoney в Android: произошла ошибка! Попробуйте снова

Каковы некоторые рекомендации для кодирования OpenGL (особенно объектная ориентация w.r.t.)?

Почему значение по умолчанию для логической переменной имеет тенденцию быть ложным? [закрыто]

Как создать эффект наведения на StaticBitmap в wxpython?