Описания

Ключевое слово nondeterm - тип по умолчанию для фактов (предикатов базы данных), объявленных в секциях фактов. Если ни одно из ключевых слов determ или single не используется при описании факта, компилятор применяет ключевое слово nondeterm. Обычно, предикаты базы данных недетерминированы. Поскольку факты можно добавлять в любое время выполнения программы, компилятор должен всегда предполагать, что возможно найти альтернативные решения в течение бэктрэкинга.

Если вы имеете предикат базы данных, для которого вы никогда не будете иметь больше, чем один факт, вы можете описать его, как determ или single.

Факты, объявленные с ключевым словом determ

Ключевое слово determ определяет, что база данных фактов может содержать только один факт данного типа. Так, если вы попробуете добавить один, а затем второй, такой факт в базу данных, Visual Prolog выдаст ошибку (1041 Assert to a fact declared as determ, but fact already exists). В таких случаях, программист должен проявлять особую осторожность.

Предыдущий факт с determ позволяет компилятору произвести лучший код, и вы не будете получать предупреждения о недетерминированности при вызове определенных предикатов. Это полезно при использовании флагов, счётчиков и других объектов, которые являются сильно глобализированными переменными.

Особенно обратите внимание, что при удалении факта, который объявляется как determ, запрос к недетерминированным предикатам retract/1 и retract/2, будет детерминирован. Так, если вы знаете, что в любой момент секция фактов содержит не более одного экземпляра факта counter() тогда, вы можете написать: