Пролог-автомат (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