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