Fix some Prolog conformance unit tests for input/output predicates to me more strict