Формальное описание механизма логического вывода в прологе
Автор: Залогова Л.А.
Журнал: Вестник Пермского университета. Серия: Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Информатика. Информационные системы
Статья в выпуске: 4 (27), 2014 года.
Бесплатный доступ
Цель статьи: обосновать целесообразность и изложить формальное описание механизма логического вывода в Прологе. Неформальное описание того, как Пролог-система отвечает на вопросы, позволяет ввести основные понятия механизма вывода, однако даёт понятное объяснение поиска решения только простых задач. Формальное же описание механизма логического вывода позволяет понять все особенности организации и управления поиском решения задач любой сложности. Так как программирование на Прологе требует глубокого понимания процесса доказательства цели, использование формального описания механизма вывода является достаточно важным.
Логическое программирование, механизм логического вывода, поиск с возвратом, рекурсия
Короткий адрес: https://sciup.org/14729953
IDR: 14729953
Список литературы Формальное описание механизма логического вывода в прологе
- Братко И. Алгоритмы искусственного интеллекта на языке Prolog. М.: Вильямс, 2004. 637 с.
- Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. СПб.: БХВ-Петербург, 2003. 992 с.
- Нильсон Н. Искусственный интеллект. Методы поиска решений. М.: Мир, 1973.
- Шрайнер П.А. Основы программирования на языке Пролог: Учебное пособие. М: Интернет-Университет Информационных Технологий, 2005.
