Управление поиском решений.

В Прологе встроенный механизм поиска с возвратом может привести к

поиску ненужных решений, в результате чего теряется эффективность. Напри-

мер, когда желательно найти только единственное решение по данному вопро-

су. В других случаях может быть необходимым заставить Турбо Пролог про-

должать поиск дополнительных решений, даже если бы определенное целевое

утверждение уже согласовано. В подобных ситуациях необходимо управлять

процессом поиска с возвратом. В этом разделе показаны некоторые методы,

которые вы сможете использовать для управления поиском решений ваших це-

левых утверждений, выполняемым Турбо Прологом.

Турбо Пролог обеспечивает два инструментальных средства, которые да-

ют возможность управлять механизмом поиска с возвратом: предикат fail,

который используется для поддержания поиска с возвратом, и cut, или отсе-

чение (обозначается !), - используется для предотвращения поиска с возв-

ратом.