Операторы и списки. Арифметика в языке Пролог.

Пролог позволяет определять функторы как операторы с нужными св-ми(прио-ритет, позицией, ассоциативностью) для этого есть команда:

:- op(приоритет, тип, функтор).

Приоритет=1..1200. Типы: 1)инфиксный xfx,xfy(правоасс), yfx(левоасс).

2)постфиксный fx или fy(x-аргумент с большим приоритетом, y-с меньшим).

Списки(после-ть значений произ. длины) – для представ. разлю информ-ии.

Список – структура с функтором ‘.’. 1-ый компонент – голова, 2-ой – хвост. "[ ]”-ПС

[a,b,c] -> ‘.’(a,’.’(b,’.’(c,[]))).

Для разделения на голову и хвост использ-ся оператор [X