Глава 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