PLOGHELP CURRENT_OP                      Jonathan Laventhol, 7 July 1983
                                Revised by Kathryn Seifert  October 1986

Predicate whose arguments are the precedence, fix, and atom of a
currently defined operator.

    ?- current_op(Prec, Fix, Atom).

Keywords: operator, precedence, fix


Unifies Prec, Fix, and Atom to be the precedence and fix of the operator
Atom.  So if you wanted a list of the currently defined operators, you
could try this:

    ?- current_op(P, F, A), write(P), tab(1), write(F), tab(1),
       write(A), nl, fail.

-- RELATED DOCUMENTATION ----------------------------------------------

PLOGHELP * OPERATORS
 Operator declarations made when the Prolog system is loaded

PLOGHELP * CURRENT_ATOM
 Predicate which unifies its argument with an atom in Prolog dictionary

PLOGHELP * OP
 Operators and how to declare operators

PLOGHELP * CURRENT_PREDICATE
 Predicate whose args are a predicate and the most general term for that
 predicate

PLOGHELP * CURRENT_FUNCTOR
 Predicate whose args are a functor name and the most general term for
 that functor

--- C.all/plog/help/current_op -----------------------------------------
--- Copyright University of Sussex 1987. All rights reserved. ----------