09/10/03 22:34:41
>>867
> Prologの論理変数は型付けがありません。それで、
> 顧客番号 A + 出荷日 B + 商品番号 C + 数量 D :- ... .
> とは書けません。
そうだね。
> _顧客番号 + _出荷日 + _商品番号 + _数量 :- ... .
> A + B + C + D :- ... .
> は等価だと考えますが、
そうだね。
>この型情報に近い情報をプログラムソースの読み手に
> 与えようとしているのが、前者ですね。
そうだね。
> 我々が共有しているアルゴリズムとして(_+_+_+) :- が存在している訳では
> ないよという宣言でもあるため、
「存在している訳ではない」「宣言」の意味がわからない。
>これを縛ると表現したのです。
「存在している訳ではない」と「宣言」することを「縛る」と定義したの？