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

Examples of jp.ac.kobe_u.cs.prolog.lang.Predicate

5848
5849
5850
5851
5852
5853
5854
5855
5856
5857
5858
class PRED_system_predicate_1_147 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5871
5872
5873
5874
5875
5876
5877
5878
5879
5880
5881
class PRED_system_predicate_1_148 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(get(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(get(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5894
5895
5896
5897
5898
5899
5900
5901
5902
5903
5904
class PRED_system_predicate_1_149 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5917
5918
5919
5920
5921
5922
5923
5924
5925
5926
5927
class PRED_system_predicate_1_150 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5940
5941
5942
5943
5944
5945
5946
5947
5948
5949
5950
class PRED_system_predicate_1_151 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(tab(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(tab(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
6124
6125
6126
6127
6128
6129
6130
6131
6132
6133
6134
class PRED_system_predicate_1_159 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_byte(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_byte(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
6147
6148
6149
6150
6151
6152
6153
6154
6155
6156
6157
class PRED_system_predicate_1_160 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_byte(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_byte(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
6170
6171
6172
6173
6174
6175
6176
6177
6178
6179
6180
class PRED_system_predicate_1_161 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(read(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
6193
6194
6195
6196
6197
6198
6199
6200
6201
6202
6203
class PRED_system_predicate_1_162 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(read(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
6216
6217
6218
6219
6220
6221
6222
6223
6224
6225
6226
class PRED_system_predicate_1_163 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(read_with_variables(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(read_with_variables(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
TOP

Related Classes of jp.ac.kobe_u.cs.prolog.lang.Predicate

  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$add_op_3_4
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_1
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_2
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_3
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_4
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_5
  • jp.ac.kobe_u.cs.prolog.builtin.PRED_$builtin_meta_predicates_3_6
    • Copyright © 2018 www.massapicom. 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.