Add Prolog conformance unit tests for syntax