第15条 とそのプログラム

第15条

(1)

申込は、被申込者に到達した時にその効力を生ずる。

(2)

申込は、たとえ取消不能のものであっても、申込の撤回通知が 申込の到達前又はそれと同時に被申込者に到達する場合には、 撤回し得る。

プログラム

(1)

effect_def::申込[順番=N]/[発生日時=S,申込者=A,被申込者=B] <=
  def:申込[順番=N]/[申込者=A,被申込者=B],
  def:到達[順番=N]/[到達日時=S];;

(2)

capable::申込撤回[順番=N]/[申込者=A,被申込者=B] <=
  fact:回答[順番=M]/[行為者=A,受取人=B,種類=削除[対象=回答[順番=N]]];
  def:申込[順番=N]/[申込者=A,被申込者=B];
  def:到達[順番=N]/[到達日時=S0];
  def:到達[順番=M]/[到達日時=S1]
  ||{S1 =< S0, N =< M, N =/= M};;