Читать онлайн «Логическое программирование на языке visual prolog»
Автор Андреева Н. В.
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
РОССИЙСКОЙ ФЕДЕРАЦИИ
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Факультет прикладной математики и кибернетики
«УТВЕРЖДАЮ»
Декан ФПМК
профессор А. М. Горцев
17 мая 2013 г. ЛОГИЧЕСКОЕ
ПРОГРАММИРОВАНИЕ
НА ЯЗЫКЕ VISUAL PROLOG
Учебное пособие
Томск
2013
РАССМОТРЕНО и ОДОБРЕНО методической комиссией фа-
культета прикладной математики и кибернетики
ПРОТОКОЛ № 45 от 18 мая 2013 г. Председатель комиссии,
д. ф. -м. н. , профессор А. Г. Дмитренко
В данном пособии излагаются основы языка логического про-
граммирования Visual Prolog, приводятся базовые понятия языка,
правила функционирования Prolog программы, а так же способы
представления основных структур данных, такие как списки, бинар-
ные деревья; рассматриваются средства объектно-ориенти-
рованного программирования. Для студентов, изучающих логическое программирование. СОСТАВИТЕЛЬ:
доцент кафедры программирования
факультета прикладной математики и кибернетики
В.
В. Андреева
ПРЕДИСЛОВИЕ
Пролог – это язык логического программирования, в котором
решения задач выражаются с помощью фактов, представляющих
отношения между объектами, правил и целей, требующих доказа-
тельств. Программирование на языке Пролог включает три основ-
ных этапа: объявление некоторых фактов об объектах произвольной
природы и отношениях между ними, определение некоторого под-
множества правил рассматриваемых объектов и формулировка во-
просов, касающихся объектов и отношений между ними. В данном учебном пособии представляются основы программи-
рования на языке Visual Prolog версии 7. x. Последовательно рас-
сматриваются синтаксис языка, принципы, методы и особенности
программирования. Визуальная среда разработки Visual Prolog версии 7. x, разработ-
чиком которой является компания PDC (Prolog Development Center),
представляет собой полноценную программную среду, состоящую
из среды визуальной разработки, которая включает:
1) текстовый и различные графические редакторы;
2) автоматические средства генерации кода;
3) интерфейс визуального программирования VPI (Visual Pro-
gramming Interface);
4) Пролог – компилятор;
5) средства объектно-ориентированного программирования. ОСНОВЫ ЯЗЫКА ПРОЛОГ
Язык Пролог – это язык логического программирования, в осно-
ве которого лежит логика предикатов, позволяющая формализо-
вать множество рассуждений (высказываний). Основное отличие от
языков программирования, базирующихся на составлении алгорит-
мов (эмпирические языки программирования), состоит в том,
что это – символьное программирование, в котором отсутствует
алгоритм, описывающий конкретные шаги решения задачи.
