Книга: Язык логического программирования Visual Prolog

Язык логического программирования Visual Prolog

Содержание

• Введение в логическое программирование
• Факты
• Предикаты
• Правила
• Запросы (Цели)
• Размещение фактов, правил и запросов
• 8. Основные разделы Visual Prolog-программ
• 9. Раздел предложений
• 10. Раздел предикатов
• 11. ОБЪЯВЛЕНИЕ ПОЛЬЗОВАТЕЛЬСКОГО ПРЕДИКАТА
• Имена предикатов
• Аргументы предикатов
• 12. Раздел доменов
• 13. Раздел цели
• 14. Декларации и правила
• Задание типов аргументов при декларации предикатов
• Арность (размерность)
• Синтаксис правил
• Автоматическое преобразование типов
• 15. Другие разделы программ
• Раздел фактов
• Раздел констант
• Директивы компилятора
• 1. Сопоставление и унификация
• 2. Поиск с возвратом
• 3. Управление поиском решений
• Использование предиката fail
• Прерывание поиска с возвратом: отсечение
• Предотвращение поиска с возвратом к предыдущей подцели в правиле
• Предотвращение поиска с возвратом к следующему предложению
• Детерминизм и отсечение
• Предикат not
• 5. Простые объекты данных
• 6. Составные объекты данных и функторы
• Унификация составных объектов
• Использование нескольких значений как единого целого
• Объявление составных доменов
• Многоуровневые составные объекты
• Процесс повторения
• Использование поиска с возвратом для организации повторов
• Предварительные и последующие операции
• Использование отката с петлями
• Рекурсивные процедуры
• Понятие рекурсии
• Преимущества рекурсии
• Пример рекурсивного определения правил
• Оптимизация хвостовой рекурсии
• Как задать хвостовую рекурсию
• Определение списка
• Объявление списков
• Головы и хвосты
• Работа со списками
• Использование списков
• Печать списков
• Подсчет элементов списка