Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65535
ТЕХНОЛОГИИ ДОСТ... 62980
Имитационное мо... 58320
Реклама
Сейчас на сайте
Гостей: 5
На сайте нет зарегистрированных пользователей

Пользователей: 13,091
новичок: avegraf
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

База данных электронного документооборота на Delphi + бд Intebase
База данных студентов на Turbo Pascal (Списки) + Пояснительная записка
Моделирование системы управления качеством производственного процесса на...

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
ПРИНАДЛЕЖНОСТЬ ЭЛЕМЕНТОВ СПИСКУ
Предположим, что имеется некоторый список, например список студентов:
[‘Иванов’,’Петров’,’Агеев’,’Левина’,’Лукашов’,’Ленских’]



и мы хотим определить, имеется ли некоторый студент, например Агеев, в этом списке. В Прологе это можно сделать, определив отношение принадлежности объекта некоторому списку с помощью предиката 'принадлежит'(X,L). Целевое утверждение 'принадлежит'(X,L) является истинным, если терм, связанный с Х, является элементом списка L. Чтобы описать этот предикат, рассмотрим понятие "является элементом списка", суть которого раскрывается с помощью следующего определения: "Некоторый объект является элементом списка, если он:
• либо совпадает с головой списка;
• либо является элементом хвоста списка".
Из определения следует, что необходимы два правила для описания предиката 'принадлежит'. Первое говорит о том, что объект Х будет элементом списка L, если X совпадает с головой списка L. На Прологе этот факт записывается следующим образом: 'принадлежит'(Х,[Х|_]). Здесь использована анонимная переменная "_" для обозначения хвоста списка, т.к. хвост списка в этом частном факте никак не используется, следовательно, его содержание безразлично.
Второе правило говорит о том, что Х принадлежит списку также при условии, что он является элементом хвоста списка Т, т.е. принадлежит хвосту списка Т. Эта информация может быть выражена с помощью следующего рекурсивного правила:
'принадлежит'(Х,[_|Т]):- 'принадлежит'(Х,Т).



Анонимная переменная "_", обозначающая голову списка, свидетельствует о том, что информация о голове списка не имеет никакого значения для выбранного пути решения. Два этих правила в совокупности определяют предикат для отношения принадлежности и указывают интерпретатору Пролога, каким образом просматривать список от начала до конца при поиске некоторого элемента в списке.
Наиболее важный момент, о котором следует помнить, встретившись с рекурсивно определенным предикатом, заключается в том, что прежде всего надо найти граничные условия и способ использования рекурсии. Для предиката 'принадлежит' имеются два типа граничных условий. Либо объект, который требуется найти, содержится в списке, либо не содержится. Первое граничное условие распознается первым утверждением, которое приведет к прекращению поиска в списке. Второе граничное условие встречается, когда второй аргумент предиката 'принадлежит' является пустым списком.
Каждый раз, когда при поиске соответствия для целевого предиката 'принадлежит' происходит рекурсивное обращение к тому же предикату, новая цель формируется для более короткого списка ().
Очевидно, что рано или поздно произойдет одно из двух событий: либо произойдет сопоставление с первым правилом для 'принадлежит', либо в качестве второго аргумента 'принадлежит' будет задан пустой список. Как только возникнет одна из этих ситуаций, прекратится рекуррентное порождение новых подцелей. Второе граничное условие не распознается ни одним из утверждений для 'принадлежит', так что процесс поиска сопоставимого элемента списка для целевого утверждения 'принадлежит' закончится неудачей. Это демонстрирует следующий пример на Прологе:
'принадлежит'(Х,[Х|_]).
'принадлежит'(Х,[_|Y]):- 'принадлежит'(X,Y).
? - 'принадлежит'(a,[b,a,e]).
yes
? - 'принадлежит'(d,[b,a,e]).
no



Достоинством предиката 'принадлежит' является то, что он показывает, как с помощью рекурсивного определения получить доступ к каждому элементу списка. Предикат 'принадлежит' может быть использован в следующих интерпретациях:
найти элемент Х в заданном непустом списке Y;
проверить, есть ли элемент Х в заданном непустом списке Y;
просмотреть последовательно и выяснить, какие элементы входят в список. В третьем случае для выдачи на экран всех элементов списка можно использовать следующую программу:
'элементы_списка'(L):- 'принадлежит'(X,L),write(X),nl,fail.
'элементы_списка'(_).
'принадлежит'(Х,[Х|_]).
'принадлежит'(Х,[_|Y]):-
'принадлежит'(X,Y).
'принадлежит'(Х,[Х|_]).



5. Ввод и вывод списков
Для ввода и вывода списков могут быть использованы следующие два способа.








Опубликовал Kest November 06 2009 11:42:19 · 0 Комментариев · 12124 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Запрет гостям ск...
Фундаментальные а...
Visual Basic for ...
Java 2. Наиболее ...
BIOS
Animated Menus
DelphiX
Профессиональное ...
CodeGear RAD Stud...
Halcyon
Цветной Grid
Шкрыль А. - Разра...
PHP, MySQL и Drea...
Fig [Исходник на ...
Аватары в комме...
Нестандартные при...
CLR via C#
PrevInst
3D Тетрис [Исходн...
Современное проек...

Топ загрузок
Приложение Клие... 100477
Delphi 7 Enterp... 87854
Converter AMR<-... 20082
GPSS World Stud... 13480
Borland C++Buil... 12053
Borland Delphi ... 8668
Turbo Pascal fo... 7048
Visual Studio 2... 5005
Калькулятор [Ис... 4906
FreeSMS v1.3.1 3545
Случайные статьи
Нарисовать заданну...
Создадим свой перв...
Принтеры и факсы
период, что застав...
Размер фотографий ...
Особенности примен...
Тестирование приме...
Внешняя сортировка...
Отражайте корпорат...
Виджеты домашнего ...
Факторы SEO
Найти переименован...
Рассмотрим выполне...
Границы и заливка ...
Подключение общего...
Обеспечение основн...
Для добавления кол...
Трансивер MAU
Формирование време...
Работа с фильтрами...
Программа перечисл...
Триггеры взаимодей...
Чистые виртуальные...
БЛОКИ, ОРИЕНТИРОВА...
Identifier expected
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?