%% 法学部法律学科 30600057 青柳剛史

推論実験結果です。
今回の授業での先生からのご指摘のとおり、offer階層の修正により、正しく推論実験が行えました。

%%H Congratulations! 3b, 3c, 3dについてログをとって、これまでの全部の事例について、一つのファイル内に示して提出して下さい。また3f以下にもチャレンジして下さい。期待しています。

以下、結果を添付いたします。

【listing】
| ?- listing.
become_effective(revocation(A,B,offer(A,B,C),D)) :-
        reach(revocation(A,B,offer(A,B,C)), B, D),
        \+ (dispatch(acceptance(B,A,offer(A,B,C)),A,E),E@=<D).
become_effective(withdrawl(A,B,offer(A,B,C),D)) :-
        reach(withdrawl(A,B,offer(A,B,C)), B, D),
        \+ (reach(offer(A,B,C),B,E),E@<D).

become_effective(offer(A,B,C), D) :-
        reach(offer(A,B,C), B, D),
        \+become_effective(withdrawl(A,B,offer(A,B,C),_)).
become_effective(acceptance(A,B,offer(B,A,C)), D) :-
        reach(acceptance(A,B,offer(B,A,C)), B, D),
        \+ (become_null(offer(B,A,C),E),E@<D).

become_null(offer(A,B,C), D) :-
        become_effective(revocation(A,B,offer(A,B,C),D)).

dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))), anzai, t0410).

is_concluded(contract(A,B,C), D) :-
        become_effective(offer(A,B,C), _),
        become_effective(acceptance(B,A,offer(A,B,C)), D).

reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')), bernard, t0408).
reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))), bernard, t0409).
reach(revocation(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))), bernard, t0411).
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))), anzai, t0410).

yes


【is_concludedからの推論実験】
| ?- is_concluded(X,T).
        1      1 Call: is_concluded(_463,_483) ?
        2      2 Call: become_effective(offer(_1115,_1116,_1117),_1110) ?
        3      3 Call: reach(offer(_1115,_1116,_1117),_1116,_1110) ?
        3      3 Exit: reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,t0408) ?
        4      3 Call: become_effective(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000')),_1793)) ?
        5      4 Call: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),bernard,_1793) ?
        5      4 Exit: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),bernard,t0409) ?
        6      4 Call: reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,_3842) ?
        6      4 Exit: reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')),bernard,t0408) ?
        7      4 Call: t0408@<t0409 ?
        7      4 Exit: t0408@<t0409 ?
        4      3 Fail: become_effective(withdrawl(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000')),_1793)) ?
        2      2 Exit: become_effective(offer(anzai,bernard,sale(agriculture_machine,'$50000')),t0408) ?
        8      2 Call: become_effective(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),_483) ?
        9      3 Call: reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,_483) ?
        9      3 Exit: reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,t0410) ?
       10      3 Call: become_null(offer(anzai,bernard,sale(agriculture_machine,'$50000')),_4471) ?
       11      4 Call: become_effective(revocation(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000')),_4471)) ?
       12      5 Call: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),bernard,_4471) ?
       12      5 Exit: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),bernard,t0411) ?
       13      5 Call: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,_7259) ?
       13      5 Exit: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,t0410) ?
       14      5 Call: t0410@=<t0411 ?
       14      5 Exit: t0410@=<t0411 ?
       11      4 Fail: become_effective(revocation(anzai,bernard,offer(anzai,bernard,sale(agriculture_machine,'$50000')),_4471)) ?
       10      3 Fail: become_null(offer(anzai,bernard,sale(agriculture_machine,'$50000')),_4471) ?
        8      2 Exit: become_effective(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),t0410) ?
        1      1 Exit: is_concluded(contract(anzai,bernard,sale(agriculture_machine,'$50000')),t0410) ?
T = t0410,
X = contract(anzai,bernard,sale(agriculture_machine,'$50000')) ?

以上です。