Examples of dereference()


Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'(A:B,A:C):-['$neck_cut','$dcg_expansion'(B,C)]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s1.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
            a3 = args[0];
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'((A-->B),(C:-D,E)):-['$get_level'(F),nonvar(A),'$unify'(A,(G,H)),'$cut'(F),'$dcg_translate_dcg_atom'(G,C,I,J),'$dcg_translate_dcg'(B,D,I,K),'$dcg_translate_dcg'(H,E,J,K)]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s2.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
            a3 = args[0];
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'((A-->B),(C:-D)):-['$dcg_translate_dcg_atom'(A,C,E,F),'$dcg_translate_dcg'(B,D,E,F)]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s2.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
            a3 = args[0];
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        if (! a3.unify(new IntegerTerm(engine.B0), engine.trail)) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of var(a(1))
        a1 = a1.dereference();
        if (! a1.isVariable()) {
            return engine.fail();
        }
        //END inline expansion
        //START inline expansion of $cut(a(3))
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(\+,1,[:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s11))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s11, engine.trail);
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(findall,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s12))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s12, engine.trail);
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(setof,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s17))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s17, engine.trail);
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(bagof,3,[?,:,?]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s18))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s18, engine.trail);
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(on_exception,3,[?,:,:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s19))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s19, engine.trail);
View Full Code Here

Examples of jp.ac.kobe_u.cs.prolog.lang.Term.dereference()

        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        cont = engine.cont;
    // '$builtin_meta_predicates'(catch,3,[:,?,:]):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s22))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s22, engine.trail);
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.