predicate_options:current_predicate

current_predicate_option(:PI, ?Arg, ?Option) is nondet

True when Arg of PI processes Option. For example, the following is true:

?- current_predicate_option(open/4, 4, type(text)).
true.

This predicate is intended to support conditional compilation using if/1 ... endif/0. The predicate current_predicate_options/3 can be used to access the full capabilities of a predicate.