Язык логического программирования ПРОЛОГ. Бураков М.В. - 12 стр.

UptoLike

Составители: 

10
Это отвечает нашим представлениям о правильном решении.
Приведенные примеры примитивны, но они позволяют представить
неожиданность и полезность решений, которые может сгенерировать
ПРОЛОГ при большом количестве фактов и правил в сложной пред-
метной области.
3. ОПИСАНИЕ АРИФМЕТИЧЕСКИХ ОПЕРАЦИЙ
В языке ПРОЛОГ используется ряд встроенных функций для вычис-
ления арифметических выражений, некоторые из которых перечислены
в табл. 1.
Таблица 1
еинечанзобОиицарепопиТ
><,=<,=>,=,<,иненварсиицарепО
/,*,-,ицарепоеиксечитемфирА
YdomXYанXяинеледтокотатсО
YvidXYанXяинеледтоеонтсаЧ
)X(sbaXалсичаничилевяантюлосбА
)X(trqsXзиьнерокйынтардавК
)X(natcra,)X(nat,)X(soc,)X(niицкнуфеиксечиртемоногирТ
)X(pxeXьнепетсвеинедевзоВ
)X(golXалсич)nl(мфираголйынчитясеД
)X(nlXалсичмфираголйыньларутаН
Для описания любых операций арифметики можно также использо-
вать собственные предикаты. Например:
Программа 4
PREDICATES
add(integer,integer)
fadd(real,real)
maximum(real,real,real)
CLAUSES
add(X,Y):-Z=X+Y,write(“Sum= “,Z),nl.
fadd(X,Y):-Z=X+Y,write(“FSum= “,Z),nl.
maximum(X,X,X).
maximum(X,Y,X):- X>Y.