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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Отладка приложения при запуске с помощью push-уведомлений

MySQL ORDER BY общее количество строк пользователя в другой таблице

Что делать, если в IE7 есть два куки с одинаковым именем?

Asp MVC 4 создает собственный вспомогательный метод html, похожий на Html.BeginForm

Нахождение зависимости javper server-ireport plugin.jar от maven