1. Списки.
Если в пр-ме необходимо организовать с переменными или заранее неопределенным количеством объектов, то испол. списки.
СПИСОК — упорядоченная последовательность эл-в одного типа неопределенной длины, кот м. состоять из 0 и более эл-в.
Константы ,попавшие в список , записываются в [ ] и отделяются друг от друга запятыми.
Исходя из определения списка, два списка , сост. из одних и тех же
Возможно вы искали - Реферат: Особенности реализации экспертных систем на базе логической модели знаний
эл-в , но расположенных в разном порядке считаются разными. В разделе domains эл-ты списка обяз-но д.б. сопоставлены с определенным типом домена (Sp=integer*).
Список в domains м.б. опосредствован через имя переменной, эл-ты кот. собираются в список.
domains
k_fms = string, kol = integer,
Sp = kol*
Похожий материал - Шпаргалка: Ответы на вопросы по курсу “Системное программирование”
predicates
fms ( k_fms, kd, ...)
Списки состоят из заголовка ( начала списка) и захвата (окончания списка). К заголовку относится только 1-й эл-т списка, остальное — хвост.
Список с нулевым количеством эл-в определяется как пустой список, он не имеет ни заголовка ни хвоста.
Для работы со списками в языке имеется ряд встроенных предикатов.
Очень интересно - Курсовая работа: Информационные системы
MEMO (<имя эл-та>, <список>) — где <список> м.б. задан либо именем Sp, либо непосредственно константами, входящими в этот список.
Предикат определяет принадлежность эл-та к списку.
I — деление списка на голову и хвост [ Head I Tail] или [H I T]
H — или переменной для обозначения заголовка
T — — “ — хвоста
Вам будет интересно - Шпаргалка: Лекции по информатике
ПРИМЕР
domains
list=char*
predicates
test (List)
Похожий материал - Реферат: Prolog. Реализация на ПЭВМ
clouses
test ( [‘A’, ‘B’ , ‘C’, ‘D’] ).
goal
test ([H/T]),