Шаг 1. Краткая характеристика языка программирования Пролог
Шаг 2. Представление объектов в логике предикатов первого порядка
Шаг 3. Кванторы
Шаг 4. Формулы логики предикатов первого порядка
Шаг 5. Предваренная нормальная форма формул
Шаг 6. Проверка общезначимости формулы. Метод резолюций
Шаг 7. Этапы приведения формулы к стандартной форме записи
Шаг 8. Хорновские дизъюнкты
Шаг 9. Основы языка Пролог
Шаг 10. Факты и правила
Шаг 11. Размещение фактов, правил и запросов
Шаг 12. Общие представления о переменных
Шаг 13. Предложения
Шаг 14. Предикаты
Шаг 15. Переменные
Шаг 16. Цели (запросы)
Шаг 17. Комментарии
Шаг 18. Сопоставление