%% 法学部法律学科 ???????? AG


%rule
:-unknown(P,fail).

%23

is_concluded(contract(A,B,C),T3):-

	become_effective(offer(A,B,C),T1),become_effective(acceptance(B,A, offer(A,B,C)),T3).



%16(1)

become_effective(revocation(A,B,offer(A,B,C),T4)):-
	reach(revocation(A,B,offer(A,B,C)),B,T4),
	\+(((send(acceptance(A,B,offer(A,B,C)),B,T5)),T5@=<T4)).

%15(1)
%16(1)

become_effective(offer(A,B,C),T1):-

	reach(offer(A,B,C),B,T1),
	\+((become_effective(withdrawl(A,B,offer(A,B,C),T2));
	    become_effective(revocation(A,B,offer(A,B,C),T4)))).

%%HY まず推論実験してみて下さい。
%%HY 次に、このルールでは取消は申込効力発生の障害要件となっているがこれでよいかを検討する。

%15(2)
become_effective(withdrawl(A,B,offer(A,B,C),T2)):-
        reach(withdrawl(A,B,offer(A,B,C)),B,T2),
        \+((reach(offer(A,B,C),B,T1),T1@<T2)).



%18(2)

become_effective(acceptance(B,A,C),T3):-

	reach(acceptance(B,A,C),A,T3).





%fact
%case3d
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,t0409).
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$50000'))),anzai,t0410).


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




%10月16日加筆修正（15条1項の訂正：括弧の数の修正）
%10月17日加筆修正（15条以降の再訂正：T2の変数の値として、到達というファクタを先に挿入、23条の訂正：become_effective(offer...)の要素を追加。）

%10月21日授業内訂正（15条2項の訂正：撤回到達のファクタ内における、指令階層のずれを補正。）
%10月21日授業内訂正（23条・15条1項の訂正：いきなり出てくるそれぞれT1,T2という要素の定義を「@<」というコマンドで与える。

%10月28日修正：revocationの項を修正。

%３ｄにおいて、あとは３ｄの「承諾を取り消しと解釈する」旨のfactを挿入することが必要。