Java SymbolTerm Examples

Example #1

File: PRED_$dcg_connect_4.java Project: urokuta/cspoker

/**
 * <code>'$dcg_connect'/4</code> defined in builtins.pl<br>
 *
 * @author Mutsunori Banbara ([email protected])
 * @author Naoyuki Tamura ([email protected])
 * @version 1.0
 */
class PRED_$dcg_connect_4 extends Predicate {
  static SymbolTerm s1 = SymbolTerm.makeSymbol("->", 2);
  static SymbolTerm s2 = SymbolTerm.makeSymbol(",", 2);
  static Predicate _$dcg_connect_4_var = new PRED_$dcg_connect_4_var();
  static Predicate _$dcg_connect_4_var_1 = new PRED_$dcg_connect_4_var_1();
  static Predicate _$dcg_connect_4_var_2 = new PRED_$dcg_connect_4_var_2();
  static Predicate _$dcg_connect_4_int = new PRED_$dcg_connect_4_int();
  static Predicate _$dcg_connect_4_int_1 = new PRED_$dcg_connect_4_int_1();
  static Predicate _$dcg_connect_4_1 = new PRED_$dcg_connect_4_1();
  static Predicate _$dcg_connect_4_2 = new PRED_$dcg_connect_4_2();
  static Predicate _$dcg_connect_4_3 = new PRED_$dcg_connect_4_3();

  public Term arg1, arg2, arg3, arg4;

  public PRED_$dcg_connect_4(Term a1, Term a2, Term a3, Term a4, Predicate cont) {
    arg1 = a1;
    arg2 = a2;
    arg3 = a3;
    arg4 = a4;
    this.cont = cont;
  }

  public PRED_$dcg_connect_4() {}

  public void setArgument(Term[] args, Predicate cont) {
    arg1 = args[0];
    arg2 = args[1];
    arg3 = args[2];
    arg4 = args[3];
    this.cont = cont;
  }

  public int arity() {
    return 4;
  }

  public String toString() {
    return "$dcg_connect(" + arg1 + "," + arg2 + "," + arg3 + "," + arg4 + ")";
  }

  public Predicate exec(Prolog engine) {
    engine.aregs[1] = arg1;
    engine.aregs[2] = arg2;
    engine.aregs[3] = arg3;
    engine.aregs[4] = arg4;
    engine.cont = cont;
    engine.setB0();
    return engine.switch_on_term(
        _$dcg_connect_4_var,
        _$dcg_connect_4_int,
        _$dcg_connect_4_int,
        _$dcg_connect_4_int,
        _$dcg_connect_4_var,
        _$dcg_connect_4_int);
  }
}

Example #2

File: PRED_$variants_subset_5.java Project: urokuta/cspoker

/**
 * <code>'$variants_subset'/5</code> defined in builtins.pl<br>
 *
 * @author Mutsunori Banbara ([email protected])
 * @author Naoyuki Tamura ([email protected])
 * @version 1.0
 */
class PRED_$variants_subset_5 extends Predicate {
  static SymbolTerm s1 = SymbolTerm.makeSymbol("[]");
  static SymbolTerm s2 = SymbolTerm.makeSymbol("+", 2);
  static Predicate _$variants_subset_5_top = new PRED_$variants_subset_5_top();
  static Predicate _fail_0 = new PRED_fail_0();
  static Predicate _$variants_subset_5_var = new PRED_$variants_subset_5_var();
  static Predicate _$variants_subset_5_var_1 = new PRED_$variants_subset_5_var_1();
  static Predicate _$variants_subset_5_var_2 = new PRED_$variants_subset_5_var_2();
  static Predicate _$variants_subset_5_lis = new PRED_$variants_subset_5_lis();
  static Predicate _$variants_subset_5_lis_1 = new PRED_$variants_subset_5_lis_1();
  static Predicate _$variants_subset_5_1 = new PRED_$variants_subset_5_1();
  static Predicate _$variants_subset_5_2 = new PRED_$variants_subset_5_2();
  static Predicate _$variants_subset_5_3 = new PRED_$variants_subset_5_3();

  public Term arg1, arg2, arg3, arg4, arg5;

  public PRED_$variants_subset_5(Term a1, Term a2, Term a3, Term a4, Term a5, Predicate cont) {
    arg1 = a1;
    arg2 = a2;
    arg3 = a3;
    arg4 = a4;
    arg5 = a5;
    this.cont = cont;
  }

  public PRED_$variants_subset_5() {}

  public void setArgument(Term[] args, Predicate cont) {
    arg1 = args[0];
    arg2 = args[1];
    arg3 = args[2];
    arg4 = args[3];
    arg5 = args[4];
    this.cont = cont;
  }

  public int arity() {
    return 5;
  }

  public String toString() {
    return "$variants_subset(" + arg1 + "," + arg2 + "," + arg3 + "," + arg4 + "," + arg5 + ")";
  }

  public Predicate exec(Prolog engine) {
    engine.aregs[1] = arg1;
    engine.aregs[2] = arg2;
    engine.aregs[3] = arg3;
    engine.aregs[4] = arg4;
    engine.aregs[5] = arg5;
    engine.cont = cont;
    return _$variants_subset_5_top;
  }
}

Example #3

File: PRED_$mem_pair_2.java Project: urokuta/cspoker

/**
 * <code>'$mem_pair'/2</code> defined in builtins.pl<br>
 *
 * @author Mutsunori Banbara ([email protected])
 * @author Naoyuki Tamura ([email protected])
 * @version 1.0
 */
class PRED_$mem_pair_2 extends Predicate {
  static SymbolTerm s1 = SymbolTerm.makeSymbol("=", 2);
  static Predicate _$mem_pair_2_top = new PRED_$mem_pair_2_top();
  static Predicate _$mem_pair_2_var = new PRED_$mem_pair_2_var();
  static Predicate _$mem_pair_2_var_1 = new PRED_$mem_pair_2_var_1();
  static Predicate _$mem_pair_2_1 = new PRED_$mem_pair_2_1();
  static Predicate _$mem_pair_2_2 = new PRED_$mem_pair_2_2();

  public Term arg1, arg2;

  public PRED_$mem_pair_2(Term a1, Term a2, Predicate cont) {
    arg1 = a1;
    arg2 = a2;
    this.cont = cont;
  }

  public PRED_$mem_pair_2() {}

  public void setArgument(Term[] args, Predicate cont) {
    arg1 = args[0];
    arg2 = args[1];
    this.cont = cont;
  }

  public int arity() {
    return 2;
  }

  public String toString() {
    return "$mem_pair(" + arg1 + "," + arg2 + ")";
  }

  public Predicate exec(Prolog engine) {
    engine.aregs[1] = arg1;
    engine.aregs[2] = arg2;
    engine.cont = cont;
    return _$mem_pair_2_top;
  }
}

Example #4

File: PRED_$set_prolog_flag0_4.java Project: urokuta/cspoker

/**
 * <code>'$set_prolog_flag0'/4</code> defined in builtins.pl<br>
 *
 * @author Mutsunori Banbara ([email protected])
 * @author Naoyuki Tamura ([email protected])
 * @version 1.0
 */
class PRED_$set_prolog_flag0_4 extends Predicate {
  static SymbolTerm s1 = SymbolTerm.makeSymbol("no");
  static SymbolTerm s2 = SymbolTerm.makeSymbol("permission", 4);
  static SymbolTerm s3 = SymbolTerm.makeSymbol("modify");
  static SymbolTerm s4 = SymbolTerm.makeSymbol("flag");
  static SymbolTerm s5 = SymbolTerm.makeSymbol("set_prolog_flag", 2);
  static SymbolTerm s6 = SymbolTerm.makeSymbol("domain", 2);
  static SymbolTerm s7 = SymbolTerm.makeSymbol("atom");
  static SymbolTerm s8 = SymbolTerm.makeSymbol("flag_value");
  static Term[] s9 = {s7, s8};
  static StructureTerm s10 = new StructureTerm(s6, s9);
  static IntegerTerm si11 = new IntegerTerm(2);
  static Predicate _$set_prolog_flag0_4_var = new PRED_$set_prolog_flag0_4_var();
  static Predicate _$set_prolog_flag0_4_var_1 = new PRED_$set_prolog_flag0_4_var_1();
  static Predicate _$set_prolog_flag0_4_var_2 = new PRED_$set_prolog_flag0_4_var_2();
  static Predicate _$set_prolog_flag0_4_int = new PRED_$set_prolog_flag0_4_int();
  static Predicate _$set_prolog_flag0_4_int_1 = new PRED_$set_prolog_flag0_4_int_1();
  static Predicate _$set_prolog_flag0_4_1 = new PRED_$set_prolog_flag0_4_1();
  static Predicate _$set_prolog_flag0_4_2 = new PRED_$set_prolog_flag0_4_2();
  static Predicate _$set_prolog_flag0_4_3 = new PRED_$set_prolog_flag0_4_3();

  public Term arg1, arg2, arg3, arg4;

  public PRED_$set_prolog_flag0_4(Term a1, Term a2, Term a3, Term a4, Predicate cont) {
    arg1 = a1;
    arg2 = a2;
    arg3 = a3;
    arg4 = a4;
    this.cont = cont;
  }

  public PRED_$set_prolog_flag0_4() {}

  public void setArgument(Term[] args, Predicate cont) {
    arg1 = args[0];
    arg2 = args[1];
    arg3 = args[2];
    arg4 = args[3];
    this.cont = cont;
  }

  public int arity() {
    return 4;
  }

  public String toString() {
    return "$set_prolog_flag0(" + arg1 + "," + arg2 + "," + arg3 + "," + arg4 + ")";
  }

  public Predicate exec(Prolog engine) {
    engine.aregs[1] = arg1;
    engine.aregs[2] = arg2;
    engine.aregs[3] = arg3;
    engine.aregs[4] = arg4;
    engine.cont = cont;
    engine.setB0();
    return engine.switch_on_term(
        _$set_prolog_flag0_4_var,
        _$set_prolog_flag0_4_int,
        _$set_prolog_flag0_4_int,
        _$set_prolog_flag0_4_var,
        _$set_prolog_flag0_4_int,
        _$set_prolog_flag0_4_int);
  }
}