4.1.8 Summary of Predicates

Detailed information is found in the reference pages for the following:

current_op(P,T,A)   ISO
atom A is an operator of type T with precedence P
op(P,T,A)   ISO
make atom A an operator of type T with precedence P

Send feedback on this subject.