>>112
これに答えるのは私の能力を超えるので簡単に。
現在のPrologの仕様で引数の評価に大きな力を持た
せることは、ユニフィケーションが邪魔をして無理です。
さらに、現在のPrologの基本的に持っている能力は
変数の変域が離散的でごく限られた数である場合に、
虱潰しに変数に候補要素をあてはめて、確かめること
だけだと思います。変数制約を解消していくどんな機構も
持っていません。これを解決するには、この目的のために、
開発された、制約論理型プログラム言語を利用する他ない
のではないでしょうか。
多くの制約論理型言語はそのサブセットとして、Prologを
持っていますから、そういう利用が多いユーザは最初から
制約論理型言語を選択するべきでしょう。