Package jp.ac.kobe_u.cs.prolog.lang

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

2981
2982
2983
2984
2985
2986
2987
2988
2989
2990
2991
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate('$not_unifiable'(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s22.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
3004
3005
3006
3007
3008
3009
3010
3011
3012
3013
3014
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(var(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s23.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
3027
3028
3029
3030
3031
3032
3033
3034
3035
3036
3037
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(atom(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s24.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
3050
3051
3052
3053
3054
3055
3056
3057
3058
3059
3060
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(integer(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s25.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2774
2775
2776
2777
2778
2779
2780
2781
2782
2783
2784
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate((A->B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s13.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2797
2798
2799
2800
2801
2802
2803
2804
2805
2806
2807
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(call(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s14.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2820
2821
2822
2823
2824
2825
2826
2827
2828
2829
2830
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(catch(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s15.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2843
2844
2845
2846
2847
2848
2849
2850
2851
2852
2853
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(throw(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s16.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(on_exception(A,B,C)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s17.equals(((StructureTerm)a1).functor()))
                return engine.fail();
            Term[] args = ((StructureTerm)a1).args();
        } else if (a1.isVariable()){
View Full Code Here
2889
2890
2891
2892
2893
2894
2895
2896
2897
2898
2899
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(raise_exception(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
            if (! s18.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.