「論理的純度」(Prolog プログラミングのコンテキストで) とはどういう意味ですか? logical-purityタグ情報には「ホーン節のみを使用するプログラム」と書かれていますが、それでは、述語はどのようにif_/3修飾されるのでしょうか。var/1つまり、低レベルのものです。
ある程度の「純粋な」効果が得られることはわかりますが、これは正確にはどういう意味ですか?
より具体的な例として、この回答if_/3などで使用されている論理的に純粋であると見なされる方法を説明してください。