Что подразумевается под «логической чистотой» (в контексте программирования на Прологе)?логико-чистота информация тега говорит"программы, использующие только клаузулы Рога", но тогда, как бы предикаты какif_/3 квалифицируйте, используя столько же, сколько и разрез, и различные мета-логики (какова правильная терминология?var/1 и так далее) предикаты, то есть вещи низкого уровня.

Я понимаю, что это дает некоторый «чистый» эффект, но что это значит, точно?

Для более конкретной иллюстрации, пожалуйста, объясните, какif_/3 квалифицируется как логически чистый, видимый в использовании, напримерв этом ответе?