Числа с плавающей точкой

Предикат/оператор

Описание

write(Term)

Вывести в текущий поток вывода Term.

read(Term)

Извлечь из текущего потока вывода следующий терм и унифицировать его с Term. Ввод дожжен заканчиваться точкой.

tell(File)

Открыть файл для записи и перевести на него текущий поток вывода.

told

Перевести текущий поток вывода на стандартный поток вывода.

see(File)

Открыть файл для чтения и перевести на него текущий поток ввода.

seen

Перевести текущий поток ввода на стандартный поток ввода.

append(List1,List2, List3)

Успешен, когда список List3 унифицируем с объединением списковList1 иList2. Все аргументы могут быть свободными переменными. Результат унификация соответствующих списков.

append(ListOfLists, List)

Успешен, когда объединение списка списков ListOfListsунифицируем со спискомList. Результат: унификация соответствующих списков.

member(Elem, List)

Успешен, когда Elemунифицируем с одним из элементов спискаList. Результат – унификация соответствующего элемента списка сElem.

nextto(X, Y, List)

Успешен, когда Yследует непосредственно заXв спискеList.

delete(List1, Elem, List2)

Удалить все элементы списка List1 унифицируемые сElem. Результат помещается вList2.

select(Elem, List, Rest)

Успешен, когда Rest является списком List с удалённым элементом Elem. То есть этим предикатом можно удалять и вставлять элементы списка.

Пример:

?- select(a,L,[1,2,3]).

L = [a, 1, 2, 3] ;

L = [1, a, 2, 3] ;

L = [1, 2, a, 3] ;

L = [1, 2, 3, a] ;

false.

nth0(Index, List, Elem)

Успешен, когда элемент спика List с номером Index унифицируем с Elem. Отсчёт номеров элементов начинается с 0.

nth1(Index, List, Elem)

Тоже, что и nth0/3, но отсчёт номеров элементов начинается с 1

last(List, Elem)

Успешен, когда Elemунифицируется с последним элементом спискаList. Если хвост спискаListне определён, то при бектрекинге хвост будет увеличиваться.

reverse(List1, List2)

Изменяет порядок элементов List1 и унифицирует результат сList2.

permutation(List1, List2)

Успешен, когда список List1 образован из спискаList2 перестановкой элементов.

sumlist(List, Sum)

Унифицирует Sumс суммой элементов спискаList.

max_list(List, Max)

Унифицирует Maxс максимальным элементом спискаList.

min_list(List,Min)

Унифицирует Minс минимальным элементом спискаList.

IntExpr1 mod IntExpr2

Остаток от деления IntExpr1 наIntExpr2.

IntExpr1 // IntExpr2

Целая часть от деления IntExpr1 наIntExpr2

sleep(Time)

Приостановление выполнения на Timeсекунд.

Term =.. List

Выражение истинно когда терм Termинициализируется с термом соответствующим спискуList, головой которого является функтор терма, а оставшийся хвост представляет собой список аргументов терма.

Пример:

?- a(b(1),2,3,X)=..L.

L = [a, b(1), 2, 3, X].

?- a(b(1),2,3,X)=..[a,b(X)|_].

X = 1.

?- a(Y,2,3,X)=..[a,b(2)|_].

Y = b(2).

?- Term=..[a,b,c(4),1,2,3,X].

Term = a(b, c(4), 1, 2, 3, X).

Таким образом с помощью данного оператора можно конструировать термы из элементов и «разбирать» их на элементы.

call(Goal)

«Запустить на выполнение» предикат хранящийся в Goal. Этот предикат может потребоваться, например, после конструирования предиката предыдущим оператором.

Пример:

?- assert(a(1)).

?-read(Y),X=..[a,Y],call(X) .

|: 1.

Y = 1,

X = a(1).

?- read(Y),X=..[a,Y],call(X) .

|: 23.

false.

op(Precedence, Type, Name)

Объявление операторной формы с именем Name, приоритетомPrecedenceи типомTypeдля предиката с именемName. Новые операторы можно вводить для увеличения удобства записи нужных предикатов (пример на с. 17)