プロローグで演算式の評価を行う方法は？

Question

私は、プロローグ（実装 - eclipseプロローグ）で算術式を解決しようとしています。解決しようとする演算式は次のようである：

A * (C + B * X) + D * X = E 

Xが計算される値であり、そして他のすべて（A、B、C、D、E）は、すべての数字です。例えば

：5 *（3 + 2 * X）+ 2 * X = 39、プロローグに入力される値2

クエリ（目標）とXを割り当てるべき計算にかかります形式：

?- compute(5*(3+2*X)+2*X = 39, Result). 

「結果」と「X」の値は、結びついていなければなりません。 これを行うためにプロローグプログラムを書くにはどうすればいいですか？

ありがとうございます。

Answer 1

fdではなく、icとします。それは物事を少し簡素化します。

さらにその後、次の2つのステップでそれを行うことができ、あなただけの方程式ではなく不平等、そして唯一の変数Xを持っていると仮定し

:-lib(fd). 

：

compute(L=R, X) :- 
    term_variables(L, [X]), 
    L #= R. 

まず、左側から変数を抽出方程式を計算する制約を投稿します。方程式が有効であれば、変数をインスタンス化します。

icライブラリーで編集

、eval(L)#=Rを使用しています。