Logic Programming Class - RWTH Aachen University http://verify.rwth-aachen.de/lp17/ Requirement: Install Prolog (http://www.swi-prolog.org/) Mac: brew install swi-prolog Run: Run swipl from terminal Load the data, ex: ["load.pl"]. Run test suite run_tests. Contributing Tutorial