Visual prolog

  • 27 мая 2012 г.
  • 3874 Слова
Логическое программирование на языке Visual Prolog Учебное пособие

Составители: О.П. Солдатова, И.В.Лёзина

Самара 2010

УДК 004.89(075.8)

Рецензенты: – заведующий кафедрой «Программные системы» Самарского государственного аэрокосмического университета имени академика С.П.Королёва, д.т.н., профессор А.Н. Коварцев – заведующий кафедрой «Прикладная математика и вычислительная техника»Самарского государственного архитектурно-строительного университета, д.т.н., профессор С.А. Пиявский

О.П. Солдатова, И.В. Лёзина Логическое программирование на языке Visual Prolog: учебное пособие Самара: СНЦ РАН, 2010 –81 с., ил. ISBN – 978-593424-486-7



Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированныесистемы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем».

Печатается по решению издательского совета Самарского научного центра Российской академии наук

ISBN – 978-593424-486-7

© О.П. Солдатова, И.В. Лёзина,2010

2

СодержаниеПредисловие............................................................................................................. 5 1 Логическое программирование и аксиоматические системы ......................... 5 1.1 Общие положения ......................................................................................... 5 1.2 Автоматизация доказательства в логике предикатов................................ 7 1.2.1 Историявопроса......................................................................................... 7 1.2.2 Скулемовские стандартные формы.......................................................... 8 1.2.3 Метод резолюций в исчислении высказываний. .................................. 11 1.2.4 Правило унификации в логике предикатов........................................... 13 1.2.5 Метод резолюций висчислении предикатов ........................................ 15 2 Введение в язык логического программирования ПРОЛОГ. ........................ 16 2.1 Общие положения ....................................................................................... 16 2.2 Основы языка программирования Пролог ............................................... 17 2.3 Использование дизъюнкции и отрицания................................................ 21 2.4 Унификация в Прологе............................................................................... 21 2.5 Вычисление цели. Механизм возврата. .................................................... 22 2.6 Управление поиском решения. .................................................................. 24 2.7 Процедурность Пролога............................................................................. 25 2.8 Структура программ Пролога. ................................................................... 26 2.9 Использование составных термов ............................................................. 28 2.10 Использование списков ............................................................................ 30 2.11 Применение списков в программах........................................................ 32 2.11.1 Поиск элемента в списке ....................................................................... 32 2.11.2 Объединение двух списков ................................................................... 33 2.11.3 Определение длины списка................................................................... 34 2.11.4 Поиск максимального и минимальногоэлемента в списке............... 35 2.11.5 Сортировка списков ............................................................................... 35 2.11.6 Компоновка данных в список ............................................................... 37 2.12 Повторение и рекурсия в Прологе .......................................................... 38 2.12.1 Механизм...
tracking img