Prolog programs for Mathematical Logic for Computer Science (3rd Edition) - View it on GitHub