Exercises and experiments as part of the University of Cambridge Prolog course