Логическое программирование и Visual Prolog

      Комментарии к записи Логическое программирование и Visual Prolog отключены

Уважаемый гость, на данной странице Вам доступен материал по теме: Логическое программирование и Visual Prolog. Скачивание возможно на компьютер и телефон через торрент, а также сервер загрузок по ссылке ниже. Рекомендуем также другие статьи из категории «Программы».

Логическое программирование и Visual Prolog.rar
Закачек 2625
Средняя скорость 7147 Kb/s

Логическое программирование и Visual Prolog

Для запуска VisualProlog выберите пункт Vip32 из меню Пуск > Программы > Visual Prolog 5.2 Personal Edition. После запуска системы на экране появятся два окна (Рис.): первое — главное окно приложения, второе — окно сообщений, в котором при работе с системой выводятся сообщения о компиляции программ, о сохранении компонент проекта и т. д. Главное окно приложения содержит главное меню и панель инструментов, содержащую кнопки для наиболее часто используемых команд меню:

Перменная X связана с переменной Activity. Поскольку переменная Activity теперь конкретизирована значением baseball, то это же значение приобретает и переменная X. Найденное значение возвращается пользователю и появляется в соответствующем окне. Пролог пытается найти все решения. Вначале он пытается передоказать подцель likes(tom, Activity). Следуя правилам унификации, Пролог находит новое решение: Activity=football. Это значение возвращается в правило likes(bill, Activity) и переменная X получает новое значение: X = football, которое и возвращается пользователю. Пролог снова пытается передоказать подцель likes(tom, Activity), но подходящих утверждений в базе данных больше нет. Затем Пролог пытается передоказать целевое утверждение likes(bill, X). Поскольку больше подходящих утверждений в базе данных нет, в окно выводится сообщение: 2 Solutions.

Знакомство с языком логического программирования Visual Prolog

Переменная может также встречаться в запросе. Если в запрос переменная не входит, то ответом будет либо да (yes), либо нет (no). Если же в запрос входит переменная, то Пролог найдет все значения этой переменной и вернет ответ. Например, вопрос «что нравится биллу» можно записать на Прологе.

При выполнении лабораторных работ мы будем использовать визуальную среду программирования — VisualProlog. Существует реализация системы VisualProlog для таких платформ как: DOS, Windows 3.x, Windows 95/98, Windows NT, OS/2, SCO Unix, Linux. VisualProlog прекрасное средство для разработки клиент-серверных приложений. В настоящее время Visual Prolog также включает оболочку для разработки экспертных систем — ESTA.

Одной из важнейших особенностей Пролога является то, что, в дополнение к логическому поиску ответов на поставленные вами вопросы, он может иметь дело с альтернативами и находить все возможные решения. Вместо обычной работы от начала программы до ее конца, Пролог может возвращаться назад и просматривать более одного «пути» при решении всех составляющих задачу частей.

Пролог включает механизм вывода, который основан на сопоставлении образцов. С помощью подбора ответов на запросы он извлекает хранящуюся (известную) информацию. Пролог пытается проверить истинность гипотезы (другими словами, ответить на вопрос), запрашивая для этого информацию, о которой уже известно, что она истинна. Прологовское знание о мире — это ограниченный набор фактов (и правил), заданных в программе.

Язык логического программирования Visual Prolog (стр

В Прологе мы получаем решение задачи логическим выводом из ранее известных положений. Обычно программа на Прологе не является последовательностью действий, — она представляет собой набор фактов с правилами, обеспечивающими получение заключений на основе этих фактов. Поэтому Пролог известен как декларативный язык.

Логика предикатов была разработана для наиболее простого преобразования принципов логического мышления в записываемую форму. Пролог использует преимущества синтаксиса логики для разработки программного языка. В логике предикатов вы, прежде всего, исключаете из своих предложений все несущественные слова. Затем вы преобразуете эти предложения, ставя в них на первое место отношение, а после него — сгруппированные объекты. В дальнейшем объекты становятся аргументами, между которыми устанавливается это отношение. В качестве примера в табл. представлены предложения, преобразованные в соответствии с синтаксисом логики предикатов.

Как упоминалось выше, в качестве разделителя заголовка и тела правила Пролог использует знак:-, который читается как «если» (if). Однако if Пролога отличается от if, написанного в других языках, например в Pascal, где условие, содержащееся в операторе if, должно быть указано перед телом оператора, который может быть выполнен. Другими словами:

История возникновения и развития языка Prolog. Рассмотрение императивных и декларативных языков программирования. Элементы экспертной системы: база знаний, механизм вывода и система пользовательского интерфейса. Описание предикатов и предложений.

Язык логического программирования Visual Prolog

Число с плавающей запятой, реализуемое как 8 байт в соответствии с соглашением IEEE; эквивалентен типу double в С. При необходимости, целые автоматически преобразуются в real

и Visual Prolog вновь начнет поиск с вершины программы, пытаясь согласовать это вращение. Поскольку соответствующих предложений не обнаруживается, обращение завершается неудачно, и теперь Visual Prolog запускает механизм возврата. Начиная поиск с возвратом, Пролог отступает к последней позиции, где была уставлена точка отката. В данном случае Пролог возвращается к факту


Похожие записи