論理プログラムが代数を行うことができるかどうか不思議です

Question

私はPrologとLogical Programmingについて簡単な記事を読んでいます。私は論理プログラムが代数を行うことができるかどうか不思議です。同様に、あなたはXの変数が式5 + X = 7にあり、-2の答えを得ているかを尋ねることができますか？

Answer 1

これはいかがですか？これはX+Y=Zでのみ有効です。 、短いのためのCLP（FD）と呼ばれる、

equation(5,X,7). 
X = 2 . 
?- equation(2,5,X). 
X = 7. 
?- equation(X,5,7). 
X = 2 

Answer 2

すべての深刻なPrologシステムは、有限領域上の制約論理プログラミングを提供すると、あなたは簡単に多くのそのような方程式を解くことができます。

equation(X,Y,Z):- var(X),X is Z-Y. 
equation(X,Y,Z):- var(Y),Y is Z-X. 
equation(X,Y,Z):- var(Z),Z is X+Y. 

あなたは尋ねることができます。たとえば、SICStus Prolog、SWI、およびYapの場合：

?- use_module(library(clpfd)). 
true. 

?- 5+X #= 7. 
X = 2. 

明らかに、答えは-2ではなく2です。また、ライブラリ（clpq）付きのrationalalsのような他のドメイン上の制約ロジックプログラミングもチェックしてください。

Answer 3

はい、Prologは代数を行うことができます。

PrologとCAS（コンピュータ代数システム）のGoogleでは、多くの結果が得られます。

Using Prolog as a CAS

あなたは+ REPL = Syntactic unification + backward-chainingプロローグ、

が、それは問題/方程式を解くの心臓部である統一であることを認識し、あなたが解決するために使用される等式推論に実行することを理解していれば等号（=）を含む問題。この同じロジックはautomated theorem proversとproof assistantsでも使用されます。

hereを見ると、この自動定理証明者で統一と後方連鎖を実装するprolog.mlが見つかります。

また、term rewritingをチェックして、用語の書き換えをGoogleで検索して、用語を使って方程式を解く科学を学ぶ必要があります。