Учебное пособие по Prolog 1: Основы и фундаментальные принципы, Йоркский университет

В этом видео представлены основы Prolog, языка логического программирования, широко используемого в искусственном интеллекте. Учебное пособие охватывает основные концепции Prolog, включая настройку среды Prolog, определение фактов и правил, запросы к базам знаний и понимание механизмов вывода в Prolog. С помощью практических упражнений студенты узнают, как Prolog выполняет логические рассуждения с использованием обратной цепочки, как структурировать простые родственные связи и как использовать запросы для извлечения информации. Результаты обучения: К концу этого занятия студенты смогут: ✔ Настраивать и запускать Prolog в подходящей среде разработки. ✔ Определять факты и правила в Prolog и загружать их в интерпретатор. ✔ Писать и выполнять запросы для извлечения информации из базы знаний Prolog. ✔ Понимать механизм вывода и то, как Prolog рекурсивно оценивает правила. ✔ Применять логику Prolog к базовым родственным связям и другим простым моделям предметной области. Для всех примеров я использовал SWI-Prolog. Если вы хотите выполнить примеры: • Установите SWI-Prolog с сайта https://www.swi-prolog.org/download/s.... • Создайте папку с именем «prolog_tutorial» (или любым другим именем) в вашей домашней директории. Сохраняйте ваши файлы .pl в этой папке. • Вы можете использовать текстовый редактор, например VS Code, и установить расширение Prolog для упрощения редактирования. • Примечание: ваши программы Prolog всегда должны запускаться в той же директории, где находится ваш файл Prolog.