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