I am failing with using the predicates from the library CLPQR in SWI-Prolog. The library itself works. Expressions like "clpq: {X = 5^2}" are solved correctly. But I can't figure out how to use "minimize", "maximize", "inf", "sup", etc. Link to the Prolog Manual http://www.swi-prolog.org/pldoc/man?section=clpqr. I'd really appreciate if anybody can give some Code Examples!!
Asked
Active
Viewed 190 times
1
-
"clpq: minimize(Y^2)." returns "{Y^2=_2312, minimize_lin(_2312)}." But what I would expect is something like "Y=0" – MisterMirko Aug 14 '18 at 10:32