Institut for Matematik og Datalogi

Exercises - 04.11

• In the definition of sibling, try changing the order of the terms (more specific: the placement of the diff-part). Do the definitions have the same set of answers?
• Try using the alternative difinition of diff (diff(X, Y) :- X \= Y.), in the difinition of sibling. Try to predict the behavior. (Using trace. to understand what is going on may be helpfull.)
• Try the combination of the above two points (the alternate diff, and different permutations of the terms).