Стандартные предикаты, реализованные в pie

true успех

fail неуспех

repeat повторятть

write(Term) вывести список аргументов

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

display(Term) вывод функтора в префиксной нотации

read(Term) прочесть терм

readln(Line) прочесть строчку в строку

readchar(char) прочесть символ

help помогающая информация

retract(Term) удалить терм

tell(Filename) направить вывод в файл

telling(Filename) возвратить текущий выводимый файл

told закрыть текущий файл вывода

see(Filename) направить ввод в этот файл

seeing(Filename) возврат текущего файла ввода

seen закрыть текущий файл ввода

term=...list преобразование между term и list; univ

arg(N, Term, Argn) унифицировать Argn c N-ным аргументом Term

functor(Term, возвратить функтор и арность терма или

Functor, Arity) создать новый

clause(Head, Body) вернуть предложения из базы данных

concat(string,

string, string) объединение строк

str_int(string, Int) преобразование между строкой и целым

str_atom(string, Atom) преобразование между строкой и атомом

Integer is Expression оценка выражения

Term == Term проверка на равенство

Term \== Term проверка на неравенство

Term = Term унификация двух термов

Term \= Term проверить объединены ли

Term < Term целое меньше чем

Term > Term целое больше чем

Term =< Term меньше или равно

Term >= Term больше или равно

Term >< Term различные вычисленные значения

integer(Term) является ли терм Term целым

var(Term) является ли терм Term свободной

переменной

nonvar(Term) является ли терм Term связанным

list список всех предложений

list(Pred) список всех предложений для Pred

list(Pred/Arity) список выбранных предложений Pred

edit сохранить все предложения,

редактировать, снова проверить

edit(File) редактировать файл, снова проверить

edit(Pred/Arity) редактировать выбранный предикат

trace включить трассировку

notrace выключить трассировку

time(Hour, Min, Sec, вернуть системное время

Hundreds)

scr_char(Row, Col, печать символа в выбранной

char) позиции

char_int(char, int) преобразование между символами

и целыми

consult(Filename) загрузить файл

reconsult(Filename) снова загрузить файл

save(Filename) сохранить файл

op(Priority, возврат операторов или

Assoc, Op) изменение оператора

Goal, Goal и

Goal; Goal или

not(Goal) отрицание

! отсечение

call(Goal) вызов

assert(Rule) включить

asserta(Rule) включить в начало

assertz(Rule) включить в конец

var вызов Pred, с которым связана

переменная