Adding tests to prolog codebase
Add some more tests and a test_prolog make script for easier test running