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

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

182
183
184
185
186
187
188
189
190
191
192
class PRED_print_procedure_box_5_3 extends PRED_print_procedure_box_5 {
    public Predicate exec(Prolog engine) {
    // print_procedure_box(A,B,C,D,E):-true
        Term a1, a2, a3, a4, a5;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
    public Predicate exec(Prolog engine) {
    // get_char(A):-current_input(B),get_char(B,A)
        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // get_char(A):-[current_input(B),get_char(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_get_char_2(a2, a1, cont);
        return new PRED_current_input_1(a2, p1);
View Full Code Here
5620
5621
5622
5623
5624
5625
5626
5627
5628
5629
5630
class PRED_system_predicate_1_137 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(peek_code(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5643
5644
5645
5646
5647
5648
5649
5650
5651
5652
5653
class PRED_system_predicate_1_138 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(peek_code(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(peek_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5666
5667
5668
5669
5670
5671
5672
5673
5674
5675
5676
class PRED_system_predicate_1_139 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_char(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_char(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5689
5690
5691
5692
5693
5694
5695
5696
5697
5698
5699
class PRED_system_predicate_1_140 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_char(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_char(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5712
5713
5714
5715
5716
5717
5718
5719
5720
5721
5722
class PRED_system_predicate_1_141 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_code(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_code(A)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5735
5736
5737
5738
5739
5740
5741
5742
5743
5744
5745
class PRED_system_predicate_1_142 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(put_code(A,B)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(put_code(A,B)):-[]
        a1 = a1.dereference();
        if (a1.isStructure()){
View Full Code Here
5758
5759
5760
5761
5762
5763
5764
5765
5766
5767
5768
class PRED_system_predicate_1_143 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(nl):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(nl):-[]
        a1 = a1.dereference();
        if (a1.isSymbol()){
View Full Code Here
5779
5780
5781
5782
5783
5784
5785
5786
5787
5788
5789
class PRED_system_predicate_1_144 extends PRED_system_predicate_1 {
    public Predicate exec(Prolog engine) {
    // system_predicate(nl(A)):-true
        Term a1;
        Predicate cont;
        a1 = engine.aregs[1];
        cont = engine.cont;
    // system_predicate(nl(A)):-[]
        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.