Cleaning up the JUnit adaptor API and example code
Experimental format for writing prolog / progol fact bases.