В «Прологе - Программирование для искусственного интеллекта» Братко говорит следующее на странице 58.

«Сопоставление в Прологе соответствует тому, что называется объединением в логике. Однако мы избегаем слова« объединение », потому что сопоставление по причинам эффективности в большинстве систем Пролога осуществляется способом, который не совсем соответствует объединению. Для правильного объединения требуется -проверенная проверка происходит: встречается ли данная переменная в данном термине? Проверка происходит сделает сопоставление неэффективным. "

Мои вопросы: если объединение в miniKanren понесет это снижение эффективности или как эта проблема решена?