русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Обработка списков в Турбо Прологе

Список – это упорядоченная структура элементов, причем элементами могут быть любые термы, включая другие списки.

Пустой список- [ ]
Непустые списки имеют-голову и хвост. Они являются компонентами функтора, обозначаемого точкой ”.”.Например список из одного элемента а представляется так:
(а,[])
где а-голова и []-хвост. Список элементов a,b, и c имеет вид:
(а,(b,(c,[]))).
То есть, за элементом a следует b, который в свою очередь является головой списка .(b,(c,[])).

Другим видом записи списка будет:
._._._[].
На ТП такой список представляется так:    [a,b,c]
где a-голова, b,c-хвост списка, который и сам является списком.

Пример 5 Информация о некоторых семьях может выглядеть как предикат со следующей структурой:
.семья(фамилия, имя_отца, имя_матери, [имена детей] )
.семья(Иванов,Иван,Людмила,[Антон,Наташа,Юрий] ).

В этом случае количество детей не имеет значение, а количество аргументов предиката семья всегда одинаково. Поэтому, если записать целевое утверждение:
семья(X,Y,Z,Дети).

То переменные конкретизируются так:
X=”Иванов”        Y=”Иван”  Z=”Людмила”
Дети=[“Антон”,”Наташа”,”Юрий”]
На ТП есть специальная форма представления списка  [X|Y]. Если такой список сопоставляется с другим списком, то X конкретизируется головой, а Y- хвостом того списка, например:
.семья(X,Y,Z,[Det1|Deti]),
то переменные конкретизируются так:
X=”Иванов”   Y=”Иван”       Z=”Людмила”
Det1=”Антон”     Deti=[”Наташа”,”Юрий”].

Пример 6 Определить семью, где имеется ребенок с именем Алекс.

trace
domains
detlist= person*
person= string
predicates
member(person,detlist)
semja(person,person,person,detli
clauses
member(X,[X|_]).
member(X,[_|Y]):-member(X,Y).
semja("Иванов","Иван","Людмила",["Антон","Наташа","Юрий"]).
semja("Сидоров","Петр","Вера",[]).
semja("Поспелов","Сергей","Ира",["Алексей","Татьяна"]).
goal
makewindow(1,121,0,"",12,40,13,40),
semja(F,I1,I2,Det),member("Алексей",Det),
write("Aleks  ",F),nl,
write("ОТЕЦ=",I1,"  МАТЬ=",I2).          

При этом предикат member проверяет принадлежность элемента к списку:
Первый дизъюнкт предиката member означает, что искомый элемент находится в голове списка. Если это не так, то выбирается второй дизъюнкт, который отделяет хвост от головы списка и проверяет, находится ли искомый элемент в хвосту. Это происходит рекурсивно до тех пор, пока либо не найдено, что у остатка списка голова является искомым элементом (удача), либо не окажется, что после отделения хваста от головы остался пустой список([]), который уже не расщепляется на голову и хвост (неудача).

Пример 7. Использование встроенного предиката findall(переменная,предикат(...),список_решений)
В списке решений возвращается все решения для указанной  переменной в указанном предикате. Для списка решений должна быть указана подходящая область определения.

Например, из множества адресов выбрать определенные:

domains
familija=string
gorod   =string
spisok_rai'nllij-familija*                                   /* области определения для */
spisok_gorodov=gorod*                                 /*  ответных списков findall */
predicates
adres(familija,eorod)
clauses
adres("Иванов","Киев").
adres("Гринхофс","Рига").
adres("Шевченко","Киев").
adres("Иванов","Рига").
goal
findall(Gor,adres("Иванов",Gor).Spisok1),
nl,write(Spisokl), /* выводит ["Киев","Рига"] */
findall (Fam, adres( Fam, ) , Spisok2),
nl,wrlte(Splsok2).
/* выводит ["Иванов", "Гринхофс", "Шевченко", "Иванов"] */

Просмотров: 18426

Вернуться воглавление


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Полезен материал? Поделись:

Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.