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

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


class PRED_$process_order_2_2 extends PRED_$process_order_2 {
    public Predicate exec(Prolog engine) {
    // '$process_order'(end_of_file,A):-!
        Term a1, a2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'(end_of_file,A):-['$neck_cut']
        a1 = a1.dereference();
View Full Code Here


class PRED_$process_order_2_3 extends PRED_$process_order_2 {
    public Predicate exec(Prolog engine) {
    // '$process_order'([A|B],C):-!,consult([A|B])
        Term a1, a2, a3, a4, a5;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'([A|B],C):-['$neck_cut',consult([A|B])]
        a1 = a1.dereference();
View Full Code Here

class PRED_$process_order_2_4 extends PRED_$process_order_2 {
    public Predicate exec(Prolog engine) {
    // '$process_order'(A,B):-current_prolog_flag(debug,C),'$dummy_26_builtins.pl'(A,C),nl,'$rm_redundant_vars'(B,D),'$give_answers_with_prompt'(D),!,'$fast_write'(yes),nl
        Term a1, a2, a3, a4, a5;
        Predicate p1, p2, p3, p4, p5, p6, p7;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'(A,B):-['$get_level'(C),current_prolog_flag(debug,D),'$dummy_26_builtins.pl'(A,D),nl,'$rm_redundant_vars'(B,E),'$give_answers_with_prompt'(E),'$cut'(C),'$fast_write'(yes),nl]
        a3 = new VariableTerm(engine);
View Full Code Here

class PRED_$process_order_2_5 extends PRED_$process_order_2 {
    public Predicate exec(Prolog engine) {
    // '$process_order'(A,B):-nl,'$fast_write'(no),nl
        Term a1, a2;
        Predicate p1, p2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$process_order'(A,B):-[nl,'$fast_write'(no),nl]
        p1 = new PRED_nl_0(cont);
View Full Code Here

class PRED_$dcg_expansion_2_1 extends PRED_$dcg_expansion_2 {
    public Predicate exec(Prolog engine) {
    // '$dcg_expansion'(A,B):-var(A),!,A=B
        Term a1, a2, a3;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'(A,B):-['$get_level'(C),var(A),'$cut'(C),'$unify'(A,B)]
        a3 = new VariableTerm(engine);
View Full Code Here

class PRED_$dcg_expansion_2_2 extends PRED_$dcg_expansion_2 {
    public Predicate exec(Prolog engine) {
    // '$dcg_expansion'(A:B,A:C):-!,'$dcg_expansion'(B,C)
        Term a1, a2, a3, a4, a5;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'(A:B,A:C):-['$neck_cut','$dcg_expansion'(B,C)]
        a1 = a1.dereference();
View Full Code Here

class PRED_$dcg_expansion_2_3 extends PRED_$dcg_expansion_2 {
    public Predicate exec(Prolog engine) {
    // '$dcg_expansion'((A-->B),(C:-D,E)):-nonvar(A),A=(F,G),!,'$dcg_translate_dcg_atom'(F,C,H,I),'$dcg_translate_dcg'(B,D,H,J),'$dcg_translate_dcg'(G,E,I,J)
        Term a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15;
        Predicate p1, p2;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'((A-->B),(C:-D,E)):-['$get_level'(F),nonvar(A),'$unify'(A,(G,H)),'$cut'(F),'$dcg_translate_dcg_atom'(G,C,I,J),'$dcg_translate_dcg'(B,D,I,K),'$dcg_translate_dcg'(H,E,J,K)]
        a1 = a1.dereference();
View Full Code Here

class PRED_$dcg_expansion_2_4 extends PRED_$dcg_expansion_2 {
    public Predicate exec(Prolog engine) {
    // '$dcg_expansion'((A-->B),(C:-D)):-'$dcg_translate_dcg_atom'(A,C,E,F),'$dcg_translate_dcg'(B,D,E,F)
        Term a1, a2, a3, a4, a5, a6, a7, a8;
        Predicate p1;
        Predicate cont;
        a1 = engine.aregs[1];
        a2 = engine.aregs[2];
        cont = engine.cont;
    // '$dcg_expansion'((A-->B),(C:-D)):-['$dcg_translate_dcg_atom'(A,C,E,F),'$dcg_translate_dcg'(B,D,E,F)]
        a1 = a1.dereference();
View Full Code Here

    public Predicate exec(Prolog engine) {
    // compare(A,B,C):-'$compare0'(D,B,C),'$map_compare_op'(D,A)
        engine.setB0();
        Term a1, a2, a3, a4;
        Predicate p1;
        a1 = arg1;
        a2 = arg2;
        a3 = arg3;
    // compare(A,B,C):-['$compare0'(D,B,C),'$map_compare_op'(D,A)]
        a4 = new VariableTerm(engine);
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];
        a4 = engine.aregs[4];
        a5 = engine.aregs[5];
View Full Code Here

TOP

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

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.