SWI-Prolog-Exercise-Checker
A tool to verify the knowledge base of a large amount of prolog programs (student submissions)