current_op/3
Checks or gets the definition of a current operator
current_op(Precedence,Type,Name) -(o,o,i),(i,i,i)
?Precedence <integer> or <variable>
?Type <atom> or <variable>
?Name <atom> or <variable>
Compatibility: LPA Win-Prolog.
Remarks: This predicate can be used to test or retrieve information about the Precedence, Type and/or Name of a current operator, and will return successive solutions on backtracking.
See Also
writeq/1