Основы проектирования систем искусственного интеллекта


Механизм возврата и процедурная семантика


При согласовании целевого утверждения в Прологе используется метод, известный под названием механизма возврата. В этой главе мы показываем, в каких случаях применяется механизм возврата, как он работает и как им пользоваться. Описывается декларативная и процедурная семантика процедур Пролога. Завершается глава об­суждением вопросов эффективности.




- Начало -  - Назад -  - Вперед -