Руководство пользователя турбо пролог 2.0.

г. Москва, 1989 г.

=================================================================

ВВЕДЕНИЕ 13

О Прологе 13

Для чего может быть использован Турбо Пролог? 15

Чем Турбо Пролог отличается от других языков? 16

Минимальные требования к системе 17

Поддерживаемое оборудование 17

О руководствах по Турбо Пролог 2.0 18

Том I: Руководство пользователя 18

Часть 1: Введение в Турбо Пролог 2.0 18

Часть 2: Изучение Турбо Пролога 2.0. 19

Часть 3: Использование Турбо Пролога 2.0. 19

Том II: Справочное руководство 20

Дистрибутивные диски 20

Рекомендуемая литература 20

Используемые шрифты 21

Торговые марки. 21

Как связаться с фирмой Borland. 21

ЧАСТЬ 1 ВВЕДЕНИЕ В ТУРБО ПРОЛОГ 2.0 23

ГЛАВА 1. УСТАНОВКА ТУРБО ПРОЛОГА 2.0 23

Что хранится на ваших дисках 23

Теперь сделаем резервные копии 23

Установка Турбо Пролога на вашу систему 25

Установка на систему с гибкими магнитными дисками 25

Установка на жесткий диск 27

Использование данного руководства 29

ГЛАВА 2. НАЧАЛО 30

Загрузка Турбо Пролога 30

Краткое руководство по меню и "горячим" клавишам. 31

Главное меню 32

Спускающиеся меню 32

"Горячие" клавиши и командные клавиши 33

"Горячие" клавиши главного меню 33

Командные клавиши редактора 33

Командные клавиши компиляции 34

Командные клавиши режима трассировки 34

Командные клавиши режима запуска программы 34

Окна Турбо Пролога. 34

Окно редактирования 34

Диалоговое окно 35

Окно сообщений 35

Окно трассировки 35

Краткое руководство по редактору 35

Перемещения в окне редактирования 35

Стирание текста 36

Манипулирование текстовыми блоками 36

Ваша первая программа на Турбо Прологе 37

Ввод вашей программы в редактор 37

Корректирование ввода 37

Просмотр в редакторе 38

Запуск вашей программы 38

Что происходит, когда вы делаете синтаксическую ошибку 39

Сохранение вашей программы на диске 39

Просмотр файлов на диске 39

Трассирование вашей программы 40

Пользователям с гибкими магнитными дисками: создание автономных программ. 41

Контроль установки системы 42

Часть 2. Изучение турбо пролога 2.0 44

Глава 3. Основы пролога 44

ПРОграммирование в ЛОГике 44

Предложения: Факты и Правила. 45

Факты: То что известно 45

Правила: То что вы можете получить из заданных фактов 46

Запросы 46

Совместное задание фактов, правил и запросов 48

Переменные: основные положения 49

Выводы 50

Упражнения 51

Из естественного языка в программы на Прологе 51

Предложения (факты и правила) 51

Подробнее о фактах 51

Подробнее о правилах 52

Примеры правил 52

Упражнения 54

Предикаты (связи) 54

Переменные (обобщенные предложения) 55

Как переменные получают свои значения 55

Анонимные переменные 57

Цели (запросы) 58

Составные цели: Конъюнкция и Дизъюнкция 59

Комментарии 60

Что такое Сопоставление? 61

Выводы 62

Глава 4. Программы турбо пролога 65

Основные секции программы на Турбо Прологе 65

Секция предложений 65

Секция предикатов 66

Как объявить предикат пользователя 66

Имена предикатов 66

Аргументы предикатов 67

Секция доменов 68

Примеры. 69

Секция цели 71

Подробнее о декларациях и правилах 72

Задание типов аргументов при декларации предикатов 74

Упражнения 75

Арность (размерность) 76

Синтаксис правил 77

Ключевое слово Пролога "if" и "IF" в других языках 77

Автоматическое преобразование типов 78

Другие секции программы 78

Секция базы данных 78

Секция констант 79

Глобальные секции 80

Директивы компилятора 80

Директива include 80

Директивы trace и shorttrace 81

Выводы 81