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.