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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

Как получить доступ к базовому объекту в SetDefaultContentHeaders?

Android - динамическое обновление пользовательского ListView после добавления элементов в ArrayList

Как я могу вставить личность вручную?

ClassCastException android.widget.FrameLayout $ LayoutParams для android.support.v4.widget.DrawerLayout $ LayoutParams

Как добавить массив nsmutable в таблицу базы данных sqlite