Hi Sergey, I would use clpr in Eclipse : ?- lib(clpr). ... { X + Y = 12, 2*X - 3*Y = -1 }. X = 7.0 Y = 5.0 Yes (0.00s cpu) Regards. Alex Le 17 nov. 2011 à 05:20, Sergey Dymchenko a écrit : > { X + Y = 12, 2*X - 3*Y = -1 }. ------------------------------- Alexandre Saidi Maitre de Conférences Ecole Centrale de Lyon-Dép. MI LIRIS-CNRS UMR 5205 Tél : 0472186530, Fax : 0472186443Received on Thu Nov 17 2011 - 08:56:02 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET