I'm curious if Logic Programs can do algebra

Question

I read a brief article about Prolog and Logic Programming. I'm curious if Logic Programs can do algebra. Like would you be able to ask what the Variable of X is in the equation 5+X = 7 and get an answer of -2?

score 15 · Answer 1 · answered Dec 03 '12 at 20:52

15

All serious Prolog systems provide constraint logic programming over finite domains, called CLP(FD) for short, with which you can solve many such equations easily. For example, with SICStus Prolog, SWI and Yap:

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

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

Apparently, the answer is 2 instead of -2. Also check out constraint logic programming over other domains, like the rationals with library(clpq).

answered Dec 03 '12 at 20:52

mat

40,498
3
51
78

1

Please see [optimization](http://stackoverflow.com/questions/37142066/optimisation-in-swi-prolog) for an approach that also works with nonlinear equations (sometimes). – mat Oct 19 '16 at 20:22
There is an implementation of an [equation simplifier in Prolog](http://cmu-ai-mirror.bvulpes.com/afs/cs/project/ai-repository/ai/lang/prolog/code/math/algebra/0.html) that was written in 1987. I also found a more recent implementation of the [Knuth-Bendix completion algorithm](https://github.com/nick8325/completion) in Prolog. – Anderson Green Jun 24 '17 at 22:08

score 7 · Answer 2 · edited Nov 07 '15 at 08:29

Yes, Prolog can do algebra.

If you Google for Prolog and CAS (Computer algebra system) you will get lots of results.

e.g. Using Prolog as a CAS

If you understand that Prolog = Syntactic unification + backward-chaining + REPL,

then realize that it is the unification that is the heart of solving the problems/equations, you may run into equational reasoning which is used for solving problems that contain equals (=). This same logic is also used with automated theorem provers and proof assistants.

If you look here you will find prolog.ml which implements the unification and backward-chaining in this automated theorem prover.

You should also check out term rewriting and search Google for term rewriting to learn more about the science of solving equations using terms.

Very nice pointers! Would make your answer even more useful if you can also briefly summarize those concepts before giving pointers for more. — GuSuku, Dec 03 '14 at 21:57

Anderson Green · Answer 3 · 2019-02-15T18:02:11.930

There are a few implementations of computer algebra systems in Prolog, including an equation simplifier and the PRESS equation solver. There are also several constraint solvers for linear and nonlinear equations, including CLP(R,Q) and CLP (BNR), and several other solvers that have been implemented using constraint handling rules.

Instead of implementing a computer algebra system in Prolog, it is also possible to implement a Prolog interpreter in a computer algebra system. For example, there is an article that describes an implementation of a rule-based programming system in Mathematica. There is also an implementation of logic programming system in Mathematica from the Wolfram Library Archive.

It is also apparently possible to implement logic programs in Sympy using its unification algorithm.

score 2 · Answer 4 · edited Dec 10 '17 at 23:14

2

How about this? Note that this will only work for X+Y=Z.

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.

You can ask:

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

edited Dec 10 '17 at 23:14

hnefatl

5,860
2
27
49

answered Dec 03 '12 at 20:02

ssbarbee

1,626
2
16
24

1

`equation(1, 1, 2)` fails, yet `equation(1,1,Z), Z = 2` succeeds. – false Aug 01 '18 at 09:49
1

To solve more complicated linear equations, you can use [CLP(R)](http://www.swi-prolog.org/pldoc/man?section=clpqr). – Anderson Green Nov 14 '18 at 02:08

I'm curious if Logic Programs can do algebra

4 Answers4

Linked