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);
    }
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.
Interns and inserts into the operator table all of the built in operators and functors in Prolog .