2009/8/18 Raphael Collet <[email protected]> > Dear Dmitry, > > On Tue, Aug 18, 2009 at 3:04 PM, Dmitry Negius <[email protected]>wrote: > >> No, I need non-linear constraints to solve also. GLPK seems target the >> linear programming as the name implies. My main idea is to solve >> constraints, wich are expressed not only by algebral operations on >> variables, but also by praedicates and logical connectiveness. >> You can see implication "=>" in the example, but I need and, or, xor, <=, >> <=>, compound data types of constraint variables such as lists, arrays, >> maps, dictionaries, and operations on that types in the constraints >> specification. Prolog is an attempt to solve such problems, >> but many tested by me implementations of Prolog (Chao, GNU, YAP, B) >> freezes on simple recursive queries or their stack overflows. In the complex >> program recursive definitions will occure and Prolog will fail. >> Consequantly, Prolog is inappropriate for my needs. This is the reason I >> downloaded Mozart-Oz to study and subscribed to the mozart-users list. In >> parallel I study Mercury interpreter comparing to Mozart-Oz. >> > > I am working with Mercury on everyday basis, so I can comment on it. This > is not a real logic programming language, but rather a functional language > with Prolog syntax. And there is few support for solving logic problems > (much like a basic Prolog). The developers tried to introduce solver > libraries (like constraint solvers), but they failed and gave up on that. > > Cheers, > Raphael > > And if you have expirience with alternative academic languages please tell me what locical language is good for the described task? Is Oz appropriate for the logicaly-algebral constraints? What you can tell about Eclipse and Alice languages in this context?
> > > _________________________________________________________________________________ > mozart-users mailing list > [email protected] > http://www.mozart-oz.org/mailman/listinfo/mozart-users > -- Normal people grows o...@#
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
