Standard librarycurrent_op_3Version: v15.0.0On this pagecurrent_op/3 Description current_op/3 is a predicate that queries currently defined operators. Signature current_op(?Priority, ?Specifier, ?Name) Where: Priority is the operator priority. Specifier is the operator type. Name is the operator name.