More Prolog conformance unit tests for syntax