%% 法学部法律学科 ???????? AG /* 吉野先生へ 事例3dのプログラム構築経過です。 取り消し効力発生⇒撤回可能という論理に置き換えました。 16条1項の文言解釈から。 青柳 */ %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(A,B,offer(A,B,C)),B,T5)),T5@=