В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.
Содержание
Лекция 1. Определение отношений в программе ... 4 Лекция 2. Машина вывода Пролога ... 26 Лекция 3. Управление перебором. Отсечение ... 49 Лекция 4. Внутренняя база данных ... 68 Лекция 5. Рекурсия ... 84 Лекция 6. Списки. Полиморфизм ... 98 Лекция 7. Списки. Предикаты высших порядков ... 111 Лекция 8. Графы ... 124 Лекция 9. Деревья ... 143 Лекция 10. Арифметика и строки ... 156 Лекция 11. Парсеры ... 163 Лекция 12. Язык запросов ... 180 Лекция 13. Поиск в пространстве состояний ... 212 Лекция 14. Игры ... 229 Лекция 15. Экспертная система. Логическая задача. Фейерверк ... 242 Лекция 16. Использование PIE в Visual Prolog ... 259 Список литературы ... 265
Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7.
Курс посвящен изучению основ языка логического программирования Пролог. Всюду, где возможно, общие принципы программирования на Прологе изучаются без привязки к конкретной реализации. При выполнении практических заданий, планируется использовать Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Проло ...
Книга известных английских специалистов является доступным введением в новую отрасль программирования - логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ.
Основы алгоритмизации и программирования на языке Microsoft Visual Basic — В учебном пособии рассматриваются основы алгоритмизации и программирования на языке Microsoft Visual Basic.
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
