Пролог-автомат (pa) в поисковом движке FAIND: встроенные предикаты

В соответствии с традициями Пролога после имени предиката идет косая черта и цифра - его арность, то есть количество аргументов.

true/0

Дает успех при первом доказательстве.


false/0

Дает неуспех при первом доказательстве.


var/1


nonvar/1


integer/1

 


atom/1


assert/1

Добавляет свой единственный аргумент в глобальную базу знаний.

assert/2

Добавляет предикат, являющийся первым аргументом, в базу данных, имя которой задано как второй аргумент.


retract


=/2


==/2


!=/2


>/2


>=/2


</2


<=/2


printf


commit/1


sort

 

sequence

 


count/2

 

 

distinct/2

  © Mental Computing 2010