%% 法学部法律学科???????? AG
%%HY 解答ファイルの先頭に?????と??を最初に記入して下さい。
%%HY プログラムファィルのコンサルトのところからコピーして下さい。
%%HY ファイル名に氏を入れて下さい。
%%HY 下記は正解です。

| ?- listing.
become_effective(offer(A,B,C), D) :-
        reach(offer(A,B,C), B, D).
become_effective(acceptance(A,B,C), D) :-
        reach(acceptance(A,B,C), B, D).

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

reach(offer(anzai,bernard,sale(agriculture_machine,'$50000')), ber
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agricultur
000'))), anzai, t0409).

yes
| ?- trace.
% The debugger will first creep -- showing everything (trace)
yes
% trace
| ?- is_concluded(X,T).
        1      1 Call: is_concluded(_463,_483) ?
        2      2 Call: become_effective(acceptance(_1106,_1105,off
,_1107)),_483) ?
        3      3 Call: reach(acceptance(_1106,_1105,offer(_1105,_1
105,_483) ?
        3      3 Exit: reach(acceptance(bernard,anzai,offer(anzai,
griculture_machine,'$50000'))),anzai,t0409) ?
        2      2 Exit: become_effective(acceptance(bernard,anzai,o
nard,sale(agriculture_machine,'$50000'))),t0409) ?
        1      1 Exit: is_concluded(contract(anzai,bernard,sale(ag
ine,'$50000')),t0409) ?
T = t0409,
X = contract(anzai,bernard,sale(agriculture_machine,'$50000')) ?
yes
% trace