Use test-framework with HUnit as a test runner. Investigate QuickCheck suitability for logic programs

[acfoltzer]

Currently the tests are just a bunch of top-level definitions. We need an actual test runner to make sure they're producing consistent results