Was bedeutet "logische Reinheit" (im Kontext der Prolog-Programmierung)? Das logische Reinheit tag info sagt "Programme, die nur Horn-Klauseln verwenden", aber wie würden Prädikate wieif_/3 qualifizieren, so viel wie es der Schnitt tut, und die verschiedenen meta-logischen (was ist die richtige Terminologie?var/1 und solche) Prädikate, d. h. das Zeug auf niedriger Ebene.

Ich verstehe, dass es einen "reinen" Effekt erzielt, aber was bedeutet das genau?

Für eine konkretere Darstellung erklären Sie bitte, wieif_/3 als logisch rein qualifizieren, im Gebrauch gesehen, z.in dieser Antwort?