Fix two Prolog conformance unit tests that depend on the existence of a `(^)/2` built-in predicate