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

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


}

class PRED_$mem_pair_2_2 extends PRED_$mem_pair_2 {
    public Predicate exec(Prolog engine) {
    // '$mem_pair'(A,[B|C]):-'$mem_pair'(A,C)
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$mem_pair'(A,[B|C]):-['$mem_pair'(A,C)]
View Full Code Here


    }

    public Predicate exec(Prolog engine) {
    // java(A):-java(A)
        engine.setB0();
        Term a1;
        a1 = arg1;
    // java(A):-[java(A)]
        //START inline expansion of java(a(1))
        a1 = a1.dereference();
        if (! a1.isJavaObject()) {
            return engine.fail();
        }
        //END inline expansion
        return cont;
    }
View Full Code Here

}

class PRED_$parse_tokens_skip_spaces_2_1 extends PRED_$parse_tokens_skip_spaces_2 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_skip_spaces'(A,B):-'C'(A,' ',C),!,'$parse_tokens_skip_spaces'(C,B)
        Term a1, a2, a3, a4;
        Predicate p1, p2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
View Full Code Here

}

class PRED_$parse_tokens_skip_spaces_2_2 extends PRED_$parse_tokens_skip_spaces_2 {
    public Predicate exec(Prolog engine) {
    // '$parse_tokens_skip_spaces'(A,B):-B=A
        Term a1, a2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$parse_tokens_skip_spaces'(A,B):-['$unify'(B,A)]
View Full Code Here

    }

    public Predicate exec(Prolog engine) {
    // peek_code(A):-current_input(B),peek_code(B,A)
        engine.setB0();
        Term a1, a2;
        Predicate p1;
        a1 = arg1;
    // peek_code(A):-[current_input(B),peek_code(B,A)]
        a2 = new VariableTerm(engine);
        p1 = new PRED_peek_code_2(a2, a1, cont);
View Full Code Here

    }

    public Predicate exec(Prolog engine) {
    // '$parse_tokens_error'(A,B,C):-write('{SYNTAX ERROR}'),nl,write('** '),'$parse_tokens_write_message'(A),write(' **'),nl,'$parse_tokens_error1'([],B),clause('$tokens'(D),E),'$parse_tokens_error1'(D,B),fail
        engine.setB0();
        Term a1, a2, a3, a4, a5, a6;
        Predicate p1, p2, p3, p4, p5, p6, p7, p8, p9;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // '$parse_tokens_error'(A,B,C):-[write('{SYNTAX ERROR}'),nl,write('** '),'$parse_tokens_write_message'(A),write(' **'),nl,'$parse_tokens_error1'([],B),clause('jp.ac.kobe_u.cs.prolog.builtin':'$tokens'(D),E),'$parse_tokens_error1'(D,B),fail]
 
View Full Code Here

}

class PRED_print_procedure_box_5_1 extends PRED_print_procedure_box_5 {
    public Predicate exec(Prolog engine) {
    // print_procedure_box(A,B,C,D/E,F):-clause('$current_spypoint'(C,D,E),G),!,'$builtin_message'([+,F,A,:,C:B]),'$read_blocked'(print_procedure_box(A,B,C,D/E,F))
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18;
        Predicate p1, p2, p3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
View Full Code Here

}

class PRED_print_procedure_box_5_2 extends PRED_print_procedure_box_5 {
    public Predicate exec(Prolog engine) {
    // print_procedure_box(A,B,C,D,E):-clause('$leap_flag'(no),F),!,'$builtin_message'([' ',E,A,:,C:B]),'$dummy_27_builtins.pl'(B,E,C,G,A,D)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12;
        Predicate p1, p2, p3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        a3 = engine.aregs[3];
View Full Code Here

}

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];
View Full Code Here

    }

    public Predicate exec(Prolog engine) {
    // '$degrees'(A,B):-'$degrees'(A,B)
        engine.setB0();
        Term a1, a2;
        a1 = arg1;
        a2 = arg2;
    // '$degrees'(A,B):-['$degrees'(A,B)]
        //START inline expansion of $degrees(a(1),a(2))
        try {
View Full Code Here

TOP

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

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.