Prolog checker: Add Makefile incl. test target
Killing some time writing a Prolog-style parser in SML.