Clean vs. Defaulty Representations in Prolog

In Prolog, our choice of data representation can have significant effects on our programs, and it can influence their performance and even their semantics. For efficiency and sound logical reasoning, we use *clean* representations of our data. More information: https://www.metalevel.at/prolog/data#clean