Self-test 4 Solutions
Classifying Prolog terms 1
