Add Prolog conformance unit tests for the de facto standard `predicate_property/2` built-in predicate