Проверка существования факта в базе данных Пролога до его сохранения обеспечивает уникальность кортежей и гарантирует ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Чери С.N.
Логическое программирование и базы данных
Проверка существования факта в базе данных Пролога до его сохранения обеспечивает уникальность кортежей и гарантирует неуспешное завершение при достижении неподвижной точки.