「ウィーン売買条約第ＩＩ部」の問合せと答えの例２

「ある解釈の元で、申入れは、申込となっているか？」という問合せを 考えましょう。

例えば、ある取り引きは以下の慣習があったとしましょう。

	２０年来の取り引きで、２０年前の申入れの時には物品名を
	書いたが、年一度交わされるその年の申入れには、物品名を
	わざわざ書かない。

	２０年前の申入れに物品が示されているなら、その年の申入れも
	物品を示しているとする。

Quixote では、以下のように記述できます。

	?- def:申込[順番=0];;
	   &program;;
	   &rule;;
	   fact::申入れ/[物品を示す=yes] <=
		fact:２０年前の申入れ/[物品を示す=yes];;
	   &end.
	

次に答を示します。

上記の解釈を用いないで、「申入れは、申込となっているか？」と 問うた場合、例えば、

	IF fact:申入れ.物品を示す==yes
	THEN YES
	IF fact:申入れ.内容が十分明確である==yes
	THEN YES
	

	YES