Added "Prolog Experiments in Discrete Mathematics, Logic, and Computability"