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

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

База данных электронного документооборота на Delphi + бд Intebase
Медиа плейер на Delphi + Пояснительная записка
Метод половинного деления для нахождения корня уровнения на 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 Комментариев · 11780 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
FormShape [Исходн...
C++ Builder 6 СПР...
Adapter (пример D...
Современное проек...
Иллюстрированный ...
Java 2. Наиболее ...
Flud Vkontakte.ru
Мод "проверочный ...
Базы данных в Инт...
C++ Builder в за...
TrayComp
OnlineIP
Создание фракталов
Delphi 2005 Секре...
PHP 5 на примерах
Файловый менеджер
CoolHints2k
ProLIB18
Расширенный загру...
WebReg v1.3

Топ загрузок
Приложение Клие... 100444
Delphi 7 Enterp... 85617
Converter AMR<-... 20065
GPSS World Stud... 12472
Borland C++Buil... 11525
Borland Delphi ... 8480
Turbo Pascal fo... 7020
Visual Studio 2... 4987
Калькулятор [Ис... 4726
FreeSMS v1.3.1 3533
Случайные статьи
Передача в едином ...
Программные компон...
Методы-операции де...
Кроме того, весь п...
Непроизводительные...
Пишем PHP код, уст...
Управление ресурса...
Отправка по факсу ...
Динамические считы...
Грузоперевозки Самара
Получая пакеты, бр...
Механизм возврата ...
Комплексный пример
1.4.3. Чтение и об...
Обзор панели управ...
Самодельные чпу ст...
Даны m натуральных...
Замена подстроки с...
Объекты классов
Содержание
ДОПУСТИМЫЕ СПОСОБЫ...
• Внешний SQL-сервер
Панель управления ...
8.4. Сканирующий а...
Глава 3. Экономика...
Статистика



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


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