- •Введение
- •1. Составление программ
- •1.1. Основные определения
- •1.2. Декларации в программах
- •1.3. Объявление предикатов и типов их аргументов
- •1.4. Другие разделы программы
- •Упражнения
- •2. Механизмы доказательства правил
- •2.1. Сопоставление с откатом
- •2.2. Рекурсия
- •Упражнения
- •3.Операции в Visual Prolog. Ввод-вывод
- •3.1. Операции
- •3.2. Предикаты ввода-вывода
- •4. Управление процессом доказательства правил
- •4.1. Искусственный откат
- •4.2. Отсечение
- •4.3. Повтор, определяемый пользователем
- •5. Списки
- •5.1. Процедуры обработки списков
- •5.2. Организация стеков и очередей
- •6. Внутренняя база фактов
- •7. Иерархическая организация данных
- •8. Работа с деревьями и графами
- •8.1. Двоичные деревья
- •8.2. Графы
- •9. Работа с именами и строками
- •Заключение
- •Библиографический список
- •Оглавление
Заключение
В настоящем учебном пособии приведены основные сведения, необходимые для понимания работы Пролог-систем и составления несложных программ. Этот материал может служить основанием для дальнейшего проникновения в большой мир Пролога.
Библиографический список
1. Братко И. Алгоритмы искусственного интеллекта на языке Пролог. Третье издание. – М.: Издательский дом Вильямс, 2004.
2. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир, 1990.
3. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987.
4. Люггер Д. Ф. Искусственный интеллект: стратегии и методы решения сложных проблем. – М.: Издательский дом 'Вильямс', 2003.
5. Малпас Дж. Реляционный язык Пролог и его применение.
– М.: Наука, 1990.
6. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.: БХВ Петербург, 2003.
7. Коста Э. Visual Prolog для новичков. –http://download.pdc.dk/vip/71/Costas-Tyros_rus_MS.pdf
|
|
Оглавление
Введение
1. Составление программ
2. Механизмы доказательства правил
3.Операции в Visual Prolog. Ввод-вывод
4. Управление процессом доказательства правил
5. Списки
6. Внутренняя база фактов
7. Иерархическая организация данных
8. Работа с деревьями и графами
9. Работа с именами и строками
Заключение
Библиографический список
Оглавление
Лутай Владимир Николаевич
Основы программирования на языке Пролог
Учебное пособие
Ответственный за выпуск Лутай В.Н.
Редактор Кочергина Т.Ф.
Корректор Чиканенко Л.В..
ЛР № 020565 от 23.06.1997г. Подписано к печати
Формат 60х84 1/16 Бумага офсетная.
Офсетная печать. Усл. п.л. – 4,3 Уч.-изд. – 4,2
Заказ № Тираж 100 экз
«С»

Издательство Технологического института
Южного федерального университета
ГСП 17А, Таганрог, 28, Некрасовский, 44
Типография Технологического института
Южного федерального университета
ГСП 17А, Таганрог, 28, Энгельса, 1
