Некоторые встроенные предикаты

write(A1,A2,..,An) -вывод зад. кол-ва аргументов на устр. вывода. Переем д.б. означены, сопост. всегда успешно.

nl  -новая строка

not (<предик.>) -сопост. успешно или предик. не сопост.

fail -не сопост. никогда; исп. для того чтобы в конце всех действий ПРОЛОГ начал всё снова.

readchar (симв. перем.) -считает с клав. симв.

readint (целая перем.)

readln (строк. перем.)

assert (<факт>)  -добавить в базу данных факт.

asserta (<факт>) -добавить факт 1-м.

assertz (<факт>) -добавить факт в конец.

retract (<факт>) -удалить факт.

retractall (<образ факта>) -убрать все похожие.

cut(!) -отсечение (не входит в чистый пролог). Препятствует откату(бек-трекингу).

a, b, c, d, !, e, f

Допустимые операции:

1) Арифметич.: (+, -, *, /, mod)

2) Отнош.: (<, >, <=, >=, <>)

3) Логич.: (not, and, or)

Если X,Y не означены производится сцепление аргументов, если одна из них означена, производится означивание другой, если обе означены, то сравнивается две константы.