Algebra in Prolog


For others seeking more about this

A partial working version of the code for SWI-Prolog is on GitHub

See: PRESS: PRolog Equation Solving System.


“The Art of Prolog” By Leon S. Sterlingand Ehud Y. Shapiro (site) (pdf)

info is also included in Useful Prolog references for future reference.

2 Likes