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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Контейнер Jboss Java EE и служба ExecutorService

Запуск Python в интерактивном режиме из Sublime Text 2

Переместить папку obj в Visual Studio 2012

Angular.js - функция контроллера для фильтрации недопустимых символов из входных данных не удаляет символы, пока не введен правильный символ

SQL Выберите наиболее распространенные значения [дубликаты]