>_顧客番号 + _出荷日 + _商品番号 + _数量 :- ... .
>というPrologのコードは
>A + B + C + D :- ... .
>である必要はありませんね。

そうだね。

>むしろ汎用性がないコードですから、

前者がね。

>縛らねばなりません。

どういう意味？

>組み合わせアルゴリズムのように汎用な
>アルゴリズムは確かに多数存在しますが、実は、ごくごく一部ですね。

何が「ごくごく一部」なの？