Examples of dereference()


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,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s140.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_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s141.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_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s142.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(nl):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
            if (! a1.equals(s143))
                return engine.fail();
        } else if (a1.isVariable()){
            ((VariableTerm) a1).bind(s143, engine.trail);
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(nl(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s144.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(bagof(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s118.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(setof(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s119.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(current_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s120.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(current_output(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s121.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(set_input(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s122.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.