Re: Mathematical frameworks

Hi Norbert,

A long time ago I extend clpr a bit to full fill my needs. Notice the following:
---------
1 ?- use_module(library(clpr)).
% library(clpr) compiled into clpr 0,09 sec, 1,203 clauses
true.

2 ?- {4 = X^2}.
X = 2.0 ;
X = -2.0 ;
false.
---------

1 ?- use_module(library(clpq)).
% library(clpq) compiled into clpq 0,08 sec, 1,061 clauses
true.

2 ?- {4 = X^2}.
{4-X^2=0}.

3 ?-
---------

Perhaps it is time to do some further work on it.

--

Uwe


> -----Original Message-----
> From: [email protected]
> bonn.de [mailto:swi-prolog-bounces+lesta=sbs-
> [email protected]] On Behalf Of Norbert E.Fuchs
> Sent: Sunday, October 06, 2013 11:37 PM
> To: Prolog mailing list
> Subject: [SWIPL] Mathematical frameworks
> 
> 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
> _______________________________________________
> SWI-Prolog mailing list
> [email protected]
> https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog