Fixing some tests
Adding tests for prolog result validation