Навигация
Главная
Поиск
Форум
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
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Создание отчето... 65383
Модуль Forms 65160
Пример работы с... 64247
ТЕХНОЛОГИИ ДОСТ... 61804
Имитационное мо... 57719
Реклама
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

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

Моделирование процесса обработки заданий на вычислительном центре на GP...
Медиа плейер на Delphi + Пояснительная записка
Моделирование процесса поступления заявок в систему, состоящую из трёх Э...

Реклама



Подписывайся на 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 Комментариев · 12035 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
TMS
Разработка Web-пр...
Программирование ...
SMExport
KOL & MCK v1.69
Delphi 2005 для .NET
Task Shedule
CoolHints2k v1.03
GamesBase 3.0
Rss Parser
Игра "Астероиды" ...
Mass Photo Upload
База для Allsubmi...
DemoEdit [Исходни...
Самоучитель C++
Пятнашки и крести...
Разработка распре...
C++ : библиотека ...
Encrypt Decrypt
Animated Menus

Топ загрузок
Приложение Клие... 100468
Delphi 7 Enterp... 87024
Converter AMR<-... 20078
GPSS World Stud... 12793
Borland C++Buil... 11819
Borland Delphi ... 8600
Turbo Pascal fo... 7039
Visual Studio 2... 4999
Калькулятор [Ис... 4795
FreeSMS v1.3.1 3542
Случайные статьи
Комбинация клавиш ...
Пишем троян
Синтаксис - Микро ...
Все запросы на при...
Формы и методы рез...
Синтаксис строк
Нельзя все на один...
Программный продукт
Quadric. ремонт те...
Частотная манипуляция
Форум на вашем сер...
Применение электро...
Модуль интерфейса
Суммирование элем...
Применение нового ...
РЕКУРСИЯ
Управление идентиф...
Разработка общего ...
Инструктор
На помощь приходит...
Броня
Интеграция журнала...
Выполнение лаборат...
кол источ- источ- ...
Абстрактная точка ...
Статистика



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


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