Adding flag to turn on prolog debugging on the command-line
Updating tests with expected output.