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.