Add Prolog conformance unit tests for input/output built-in predicates