Реклама
|
|
|
|
|
|
Популярные статьи
|
|
|
|
|
|
Реклама
|
|
|
|
|
|
Сейчас на сайте
|
|
 Гостей: 32
На сайте нет зарегистрированных пользователей
Пользователей: 13,073
новичок: DENIS1996
|
|
|
Новости
|
|
|
|
|
|
|
Реклама
|
|
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian
База данных междугородних телефонных разговоров на Delphi
Поиск пути в графе заданном списками инцедентности на Turbo Pascal
Файл записей с выводом обратного заголовка на Turbo Pascal
|
|
Warning: preg_replace() [function.preg-replace]: Parameter mismatch, pattern is a string while replacement is an array in /var/www/u6406227/public_html/codingrus.ru/articles.php on line 38
|
Статьи: Prolog
|
Введение в Турбо Пролог
Язык Пролог предназначен для использования в разработ-
ках по искусственному интеллекту и в современных эксперт-
ных системах. Повышение требований к "дружественности"
интерфейса и интеллектуальности программных средств обслужи-
вает рост популярности этого языка.
Предложения, факты и правила в Турбо Прологе
Турбо Пролог (ТП) накладывает некоторые ограничения на
имена объектов и предикатов, используемых в программах.
Стандартные имена ТП должны состоять не более, чем из 250
символов, среди которых допускаются буквы латинского
алфавита (A,...,Z; a,...,z), цифры (1,...,9,0) и знак
подчеркивания. Имена атомов и предикатов в ТП должны
начинаться со строчной буквы, а имена объектов_переменных -
с прописной.
Структура программы в Турбо Прологе
Программа на языке Турбо Пролог состоит из нескольких
разделов, каждый из которых имеет свое назначение. Всего в
ТП существует семь разделов, из которых только один (при
работе в Турбо-оболочке) или два (при создании автономной
программы) является обязательными.
Трансляция списков в Турбо Прологе
Трансляция текстов с одного языка на другой была одной из
первых областей практического применения Пролог-систем. Задачи
трансляции до сих пор занимают значительное место среди задач
искусственного интеллекта. В данном разделе рассматривается
простейший вид трансляции, позволяющий получать подстрочные
переводы текстов на естественном языке и конверторы с одного
языка программирования на другой.
Файлы в Турбо Прологе и их обработка
Турбо Пролог обеспечивает все возможности обработки информации,
содержащейся в файлах на внешних носителях. В языке ТП содержится
ряд стандартных предикатов, обеспечивающих создание, открытие и
закрытие файлов, чтение из файла и запись в файл.
Декларативная и процедурная семантика языка Пролог
Язык Пролог, как один из языков логического программиро-
вания, базируется на описательной, или декларативной, точке зре-
ния на программирование. Поэтому при использовании Пролога в
большей мере требуются навыки логического мышления, а не знания
о методах кодирования управляющих воздействий на ЭВМ.
Декларативный смысл (семантика) Пролог-программ определяет
формальную, математическую сторону отношений между объектами,
определенными в программе и не касается вопросов процедурной
реализации того или иного отношения в различных версиях Пролог-
систем и на различных инструментальных ЭВМ. Способность Пролог-
систем к "самостоятельному" решению многих процедурных вопросов
выделяет этот язык из множества современных языков программиро-
вания. Данная особенность языка позволяет разработчику программ
максимально сосредоточиться на предметной области.
Влияние порядка предложений и предикатов в них на достижение цели в Турбо Прологе
Чтобы выяснить причину этой зависимости, необходимо более
детально рассмотреть работу Пролог-системы на однопроцессорной
ЭВМ. Для наглядности представим этот процесс в виде дерева реше-
ний. Вершина дерева будет соответствовать исходной цели, постав-
ленной в Пролог-программе, листья - множеству возможных вариан-
тов решения задачи. Все остальные вершины будут определять про-
межуточные состояния Пролог-системы в процессе решения задачи, а
дуги будут определять направления переходов от одного состояния
системы к другому.
Особенности применения предикатов отсечения и отрицания в Турбо Прологе
Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте
Данная задача встречается в сборниках по занимательной ма-
математике, начиная с XVIII века, и звучит следующим образом.
Крестьянину надо через речку перевезти волка, козу и капусту.
В лодке может поместиться только один человек, а с ним или волк,
или коза, или капуста. Если оставить волка с козой без человека,
то волк съест козу; если оставить козу с капустой, то коза съест
капусту. В присутствии же человека коза не может съесть капусту,
волк - козу. Человек все-таки перевез свой груз через речку. Как
он это сделал?
Решение логических задач в Турбо Прологе. Задача об обезьяне.
Данная задача также относится к задачам поиска в простран-
стве состояний. Она широко известна в литературе по искусствен-
ному интеллекту и часто используется для иллюстрации задач
моделирования поведения объектов. Впервые задача "об обезьяне
и бананах" была предложена Дж.Маккарти в 1963 году и звучит
она следующим образом.
Обезьяна вместе с ящиком находится в комнате, на потолке
которой подвешены бананы. Обезьяна может достать бананы только
в том случае, если залезет на ящик. Ящик расположен в углу ко-
мнаты, бананы - в центре. Обезьяна может подойти к ящику, пере-
двинуть его и залезть на него. Бананы она сможет достать только
в том случае, если будут стоять на ящике, а ящик будет находить-
ся под бананами. Что должна сделать обезьяна?
Решение логических задач в Турбо Прологе. Задача о ханойсной башне.
Данная задача является одной из самых древних логических
задач. В рамках логического программирования она может служить
хорошей иллюстрацией применения рекурсии. Задача заключается
в перемещении пирамиды из n дисков с одного стержня на другой
с использованием вспомогательного стержня. Перемещения ограни-
чиваются двумя правилами:
- за один раз переносится только один диск;
- диски всегда должны располагаться в убывающей последова-
тельности (больший диск нельзя класть на меньший).
Решение логических задач в Турбо Прологе. Задача о расследовании преступления.
Приводимая ниже программа LOGTASK4 имитирует действия следо-
вателя, раскрывающего по имеющимся фактам преступление - убийство
гражданки Романовой. В качестве фактов описаны данные о подозрева-
емых лицах (фамилия, возраст, пол, профессия), круг их знакомств,
перечислены все возможные мотивы преступления и улики. Правила,
приведенные в программе, позволяют на основе имеющихся фактов
сделать заключение о вероятном преступнике.
Базы данных и базы знаний в Турбо Прологе
Базы данных и базы знаний широко используются в совремменных
программных системах, использующих элементы искусственного интел-
лекта, и являются их информационной основой.
Интерфейс на естественном языке в Турбо Прологе
Язык Пролог позволяет легко и естественно выражать формаль-
ные грамматики и продукционные правила, используемые при грамма-
тическом разборе естественных языков. Задача общения с ЭВМ на
естественном языке исторически является одной из первых задач
искусственного интеллекта. Само появление языка Пролог во многом
обусловлено исследованиями в области естественных языков, языков
программирования и машинного перевода.
Существует несколько методов разбора предложений, написанных
на естественных языках. Наиболее простым является метод анализа
ключевых слов. Следующим шагом в реализации поставленной задачи
является контекстно-свободный анализ и наиболее полным, но, од-
новременно и наиболее сложным, контактно-зависимый анализ.
Взаимодействие Турбо Пролога с файлами DBF-формата
Внешнее БД Турбо Пролога имеют вид текстовых файлов, содер-
жащих перечень фактов. Большинство современных БД хранятся в
одном из стандартных форматов баз данных. Турбо Пролог обеспе-
чивает взаимодействие с любыми файлами MS DOS на нижнем уровне.
Рассмотрим механизм взаимодействия ТП с БД, хранящейся в DBF-
формате.
|
|
|
|
Гость
|
|
Вы не зарегистрированны? Нажмите здесь для регистрации.
Забыли пароль? Запросите новый здесь.
|
|
|
Загрузки
|
|
|
Новые загрузки
Случайные загрузки
Топ загрузок
|
|
|
Главная
Каталог файлов
