Mathematical frameworks

Norbert E.Fuchs <[email protected]> Sun, 6 Oct 2013 23:37:19 +0200

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<[email protected]>

Hi

I am about to finish the implementation of the arithmetic component of my reasoner RACE for Attempto Controlled English (http://attempto.ifi.uzh.ch/site/resources/).

Since RACE is implemented in SWI Prolog it was natural to choose SWI's constraint logic library CLPQR to implement the actual arithmetic operations. So far, this works quite nicely.

However, CLPQR has limitations for non-linear constraints. For example, the non-linear constraint x^2 -3*x + 2 = 0 can only be solved when a value for x is given, meaning that RACE currently cannot solve quadratic or any other non-linear equations. Thus, eventually I need to replace CLPQR by some other mathematical framework. 

Which mathematical framework would you suggest that offers more mathematical functionality than CLPQR and is easily accessible from SWI Prolog?

Best regards.

  --- nef