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

/*
今回は、事例3iです。
*/


/*
【時間指示変数の整理】
T1=offerが到達するとき
T2=withdrawlが到達するとき
T3=acceptanceが到達するとき
T4=revocationが到達するとき
T5=acceptanceが発信されるとき
*/



%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),
	\+(((dispatch(acceptance(B,A,offer(A,B,C)),A,T5)),T5@=<T4)).

%15(1)
%% Written by Aoyagi with Comments by HY %%

%%H 総評：大変よくできている。一部改訂した方がよりすっきりとした知識ベースとなる。コメントを参照されたい。

%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_null(offer(A,B,C),T4):-
	become_effective(revocation(A,B,offer(A,B,C),T4));
	become_effectuve(rejection(B,A,offer(A,B,C)),T4).
%%H 申込の撤回revocationと申込の拒絶の効果を同じように「申込効力消滅」として捉えた点はすばらしい。

become_effectuve(rejection(B,A,offer(A,B,C)),T4):-
	reach(rejection(B,A,offer(A,B,C)),A,T4),
	\+((reach(acceptance(B,A,offer(A,B,C)),A,T3),T3@<T4)).
%%H 条文には示されていないが、申込の拒絶は承諾到達前に到達しなければならない、と解釈した点はすばらしい。

%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,offer(A,B,C)),T3):-

	reach(acceptance(B,A,offer(A,B,C)),A,T3),
	\+((become_null(offer(A,B,C),T4),T4@<T3;become_null(acceptance(B,A,acceptance(B,A,offer(A,B,C)),A,T8)))).
%%H このルールについては下記の改定案参照。

become_null(acceptance(B,A,acceptance(B,A,offer(A,B,C)),A,T8)):-
	reach(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),A,T8),
	\+((T8@<T3,reach(acceptance(B,A,offer(A,B,C)),A,T3))).

   
 %%H T8@<T3はreach(acceptance(B,A,offer(A,B,C)),A,T3)の後に持ってくるべき。また次のコメントを参照。

/*
%%H 承諾の取りやめ(withdrawl)の効果を承諾が効力を失うこととして把握している。しかし、申込の取りやめと同じ構造として理解した方がよいのではないか。意思表示が到達する前に取りやめは効力を生じるのであり、取りやめの効果は意思表示の効力発生を阻止する点にある。これは、申込の場合も承諾の場合も同様である。この観点に立つと、become_null(acceptance(B,A,acceptance(B,A,offer(A,B,C)),A,T8))は、次のように改定し､関連して18(2)も下記のように改訂した方がよい。

become_effective(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),T8)):-
	reach(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),A,T8),
	\+((reach(acceptance(B,A,offer(A,B,C)),A,T3),T8@<T3)).




%18(2)

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

	reach(acceptance(B,A,offer(A,B,C)),A,T3),
	\+(become_effective(withdrawl(B,A,acceptance(B,A,offer(A,B,C))),T8))),
	\+((become_null(offer(A,B,C),T4),T4@<T3)).

*/

%fact
%case3i
reach(offer(anzai,bernard,sale(agriculture_machine,'$10000')),bernard,t0408).
reach(withdrawl(bernard,anzai,acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000')))),anzai,t0411).
reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0417).


dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sale(agriculture_machine,'$10000'))),anzai,t0411).



/*
承諾の撤回なので、承諾の効力を否定する要件として入れてみました。
（事例3j＋3iという形式になります。

【今後の課題】
事例3f,3g,3hの構築。

*/