swi - ¿Qué se entiende por "pureza lógica" en Prolog?