Created PrologProgramTest that works! (disclaimer: for extremely simple
examples).  You can execute FactStatements and then query them.  Again,
very simple so far.