Реферат: Агрегаты фактов

write (H)

APPEND ( [ эл-ты старого списка ],[ эл-ты нового списка ],< имя нового списка > )

— из 2-х списков, старого и нового, создают III список.

REVERS ( [ эл-ты стар. списка], < имя нового списка > )

— меняет последовательность эл-в на противоположную

FINDALL (< имя переменной >,< формат предиката >,< имя списка >)

ПРИМЕР

domains

post = string

Kol, Cena, Sum = integer

Sp = integer* ( Sp = Kol*)

Kod = string

predicates

tmc ( P, Kol, Cena)

sum ( Sp, Sum)

goal

write ( “ Введите код”),

readln ( Kod),

nl,

findall ( Kol, tmc ( Pos1, Kod, Kol, Cena), Sp),

sum (Sp, Sum),

write ( “Количество =” , Sum)

clauses

tmc ( “ 001”, “001”, 45, 80)

.

.

.

sum ( [ ], 0).

sum ( [ H/T ], Sum) if