>>857

_顧客番号 + _出荷日 + _商品番号 + _数量 :- ... .

というPrologのコードは

A + B + C + D :- ... .

である必要はありませんね。むしろ汎用性がないコードですから、
縛らねばなりません。組み合わせアルゴリズムのように汎用な
アルゴリズムは確かに多数存在しますが、実は、ごくごく一部ですね。