lojix/logic/src/main/com/thesett/aima/logic/fol/isoprologparser/PrologParser.java
public void internOperator(String operatorName, int priority, OpSymbol.Associativity associativity)
    {
        int arity;

        if ((associativity == XFY) | (associativity == YFX) | (associativity == XFX))
        {
            arity = 2;
        }
        else
        {
            arity = 1;
        }

        int name = interner.internFunctorName(operatorName, arity);
        operatorTable.setOperator(name, operatorName, priority, associativity);
    }
public void internOperator(String operatorName, int priority, OpSymbol.Associativity associativity)
    {
        int arity;

        if ((associativity == XFY) | (associativity == YFX) | (associativity == XFX))
        {
            arity = 2;
        }
        else
        {
            arity = 1;
        }

        int name = interner.internFunctorName(operatorName, arity);
        operatorTable.setOperator(name, operatorName, priority, associativity);
    }
Interns an operators name as a functor of appropriate arity for the operators fixity, and sets the operator in
the operator table.

@param operatorName  The name of the operator to create.
@param priority      The priority of the operator, zero unsets it.
@param associativity The operators associativity.