Examples of dereference()


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

        engine.setB0();
        Term a1;
        a1 = arg1;
    // atom(A):-[atom(A)]
        //START inline expansion of atom(a(1))
        a1 = a1.dereference();
        if (! a1.isSymbol()) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
View Full Code Here

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

        Term a1, a2;
        a1 = arg1;
        a2 = arg2;
    // '$not_after'(A,B):-['$not_after'(A,B)]
        //START inline expansion of $not_after(a(1),a(2))
        a1 = a1.dereference();
        a2 = a2.dereference();
        if (a1.compareTo(a2) > 0) {
            return engine.fail();
        }
        //END inline expansion
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;
    // hash_map([],[],A):-['$neck_cut']
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s1))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s1, 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;
    // hash_map([A|B],[(A,C)|D],E):-[hash_get(E,A,C),hash_map(B,D,E)]
        a1 = a1.dereference();
        if (a1.isList()){
            Term[] args = {((ListTerm)a1).car(), ((ListTerm)a1).cdr()};
            a4 = args[0];
            a5 = args[1];
        } else if (a1.isVariable()){
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;
    // '$mem_pair'(A=B,[C=D|E]):-['$get_level'(F),'$equality_of_term'(A,C),'$cut'(F),'$unify'(B,D)]
        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()

        engine.setB0();
        Term a1;
        a1 = arg1;
    // java(A):-[java(A)]
        //START inline expansion of java(a(1))
        a1 = a1.dereference();
        if (! a1.isJavaObject()) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
View Full Code Here

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

        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_char(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s136.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here

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

        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s137.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here

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

        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s138.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here

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

        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_char(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s139.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
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.