Add Prolog conformance unit tests for some input/output predicates