A numerical equation solver in Prolog
Covington, Michael A.
MetadataShow full item record
The Prolog inference engine can be extended to solve for unknowns in arithmetic equations such as X−1=1/X or X=cos(X), whether or not the equations have analytic solutions. This is done by standard numerical methods, but two features of Prolog make the implementation easy: the ability to treat expressions as data and the ability of the program to extend itself at run time.