Навигация
Главная
Поиск
Форум
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
Создание отчето... 64262
Модуль Forms 63999
Пример работы с... 61137
ТЕХНОЛОГИИ ДОСТ... 60862
Имитационное мо... 56411
Реклама
Сейчас на сайте
Гостей: 15
На сайте нет зарегистрированных пользователей

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

Моделирование регулировочного участка цеха на GPSS + Пояснительная записка
База данных студентов на Turbo Pascal (Списки) + Пояснительная записка
База данных студентов на Delphi + Microsoft SQL Server

Реклама



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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Calendar
XPcontrol
Эффект лампы на р...
THttpScan v4.1
PHP: обучение на ...
Assembler. Учебни...
C++ : библиотека ...
FileFind
KOL & MCK v1.69
AddPage [Исходник...
Библия хакера 2. ...
100 компонентов о...
Разработка клиент...
Text3D
Советы по Delphi
Run
Форма в форме
3d Tank [Исходник...
Abc_component
C++ Builder в за...

Топ загрузок
Приложение Клие... 100455
Delphi 7 Enterp... 86165
Converter AMR<-... 20072
GPSS World Stud... 12525
Borland C++Buil... 11616
Borland Delphi ... 8526
Turbo Pascal fo... 7035
Visual Studio 2... 4992
Калькулятор [Ис... 4744
FreeSMS v1.3.1 3539
Случайные статьи
Сигналы RTS и CTS ...
Обнаружение структ...
Вычисление значени...
Целые числа в диап...
Функционирование в...
Прием меток NFC
ЛОГИЧЕСКИЕ КЛЮЧИ В...
Работа со списком ...
Глава 5 Стоимос...
как спланировать, ...
Последним размещен...
Экспериментальный ...
Microsoft проявляе...
Программирование п...
Буферный кэш в ран...
Бесконечная систем...
Сайты для бесплатн...
Устойчивость к сбоям
Удаление индекса (...
Операторы
Пакет обновления д...
Адреса DNS-серверов
Логичность и миним...
lucernepublishing
OpenAP — это абсол...
Статистика



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


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