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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Алгоритм счета битов (Брайан Керниган) в целочисленной сложности времени

как выдавливать путь в 3d?

Как сделать так, чтобы горизонтальное содержимое JS уменьшалось с px до%

Android Activity onCreate дважды вызывается при переходе назад из другого действия

Gson - конвертировать из Json в типизированный ArrayList <T>