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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Https для http перенаправления с помощью htaccess

MongoDB / PyMongo: как «избежать» параметров в поиске по регулярному выражению?

Как передать по ссылке подмассив, который находится в динамически размещенном двумерном массиве?

Как я могу применить CSS для печати?

Как синхронизировать локальные данные indexedDB с сервером?