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

Question

Oct 14, 2012, 08:22 PM

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

?- exists(some_predicate).
false.

?- assert(some_predicate).
true.

?- exists(some_predicate).
true.

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

почему CSS background-size: обложка не работает в портретном режиме на iOS?

Заставить GLUtesselator генерировать только GL_TRIANGLES?

Scala - изменение вложенных элементов в xml

Учебник для Android-приложения с PHONEGAP [закрыто]

). Вы не можете просто изменить директивы для переноса чего-либо с TASM на NASM.