lojix/logic/src/main/com/thesett/aima/logic/fol/isoprologparser/PrologParser.java
protected void initializeBuiltIns()
    {
        // Initializes the operator table with the standard ISO prolog built-in operators.
        internOperator(":-", 1200, XFX);
        internOperator(":-", 1200, FX);
        internOperator("-->", 1200, XFX);
        internOperator("?-", 1200, FX);

        internOperator(";", 1100, XFY);
        internOperator("->", 1050, XFY);
        internOperator(",", 1000, XFY);
        internOperator("\\+", 900, FY);

        internOperator("=", 700, XFX);
        internOperator("\\=", 700, XFX);
        internOperator("==", 700, XFX);
        internOperator("\\==", 700, XFX);
        internOperator("@<", 700, XFX);
        internOperator("@=<", 700, XFX);
        internOperator("@>", 700, XFX);
        internOperator("@>=", 700, XFX);
        internOperator("=..", 700, XFX);
        internOperator("is", 700, XFX);
        internOperator("=:=", 700, XFX);
        internOperator("=\\=", 700, XFX);
        internOperator("<", 700, XFX);
        internOperator("=<", 700, XFX);
        internOperator(">", 700, XFX);
        internOperator(">=", 700, XFX);

        internOperator("+", 500, YFX);
        internOperator("-", 500, YFX);

        internOperator("\\/", 500, YFX);
        internOperator("/\\", 500, YFX);

        internOperator("/", 400, YFX);
        internOperator("//", 400, YFX);
        internOperator("*", 400, YFX);
        internOperator(">>", 400, YFX);
        internOperator("<<", 400, YFX);
        internOperator("rem", 400, YFX);
        internOperator("mod", 400, YFX);

        internOperator("-", 200, FY);
        internOperator("^", 200, YFX);
        internOperator("**", 200, YFX);
        internOperator("\\", 200, FY);

        // Intern all built in functors.
        interner.internFunctorName("nil", 0);
        interner.internFunctorName("cons", 2);
        interner.internFunctorName("true", 0);
        interner.internFunctorName("fail", 0);
        interner.internFunctorName("!", 0);
    }
protected void initializeBuiltIns()
    {
        // Initializes the operator table with the standard ISO prolog built-in operators.
        internOperator(":-", 1200, XFX);
        internOperator(":-", 1200, FX);
        internOperator("-->", 1200, XFX);
        internOperator("?-", 1200, FX);

        internOperator(";", 1100, XFY);
        internOperator("->", 1050, XFY);
        internOperator(",", 1000, XFY);
        internOperator("\\+", 900, FY);

        internOperator("=", 700, XFX);
        internOperator("\\=", 700, XFX);
        internOperator("==", 700, XFX);
        internOperator("\\==", 700, XFX);
        internOperator("@<", 700, XFX);
        internOperator("@=<", 700, XFX);
        internOperator("@>", 700, XFX);
        internOperator("@>=", 700, XFX);
        internOperator("=..", 700, XFX);
        internOperator("is", 700, XFX);
        internOperator("=:=", 700, XFX);
        internOperator("=\\=", 700, XFX);
        internOperator("<", 700, XFX);
        internOperator("=<", 700, XFX);
        internOperator(">", 700, XFX);
        internOperator(">=", 700, XFX);

        internOperator("+", 500, YFX);
        internOperator("-", 500, YFX);

        internOperator("\\/", 500, YFX);
        internOperator("/\\", 500, YFX);

        internOperator("/", 400, YFX);
        internOperator("//", 400, YFX);
        internOperator("*", 400, YFX);
        internOperator(">>", 400, YFX);
        internOperator("<<", 400, YFX);
        internOperator("rem", 400, YFX);
        internOperator("mod", 400, YFX);

        internOperator("-", 200, FY);
        internOperator("^", 200, YFX);
        internOperator("**", 200, YFX);
        internOperator("\\", 200, FY);

        // Intern all built in functors.
        interner.internFunctorName("nil", 0);
        interner.internFunctorName("cons", 2);
        interner.internFunctorName("true", 0);
        interner.internFunctorName("fail", 0);
        interner.internFunctorName("!", 0);
    }
Interns and inserts into the operator table all of the built in operators and functors in Prolog.