aliariff/lp17

Logic Programming Class - RWTH Aachen University

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