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
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
