From: Libra Date: 2007-05-02T00:00:05+09:00 Subject: Re: [OT] Logic Programming benjohn@fysh.org ha scritto: > http://www.clip.dia.fi.upm.es/Software/Ciao/ > > But it's instal from source, which is often a bad beggining for me :-( It does not have anything to share with Ruby, anyway try to have a look at Gecode, it also come with a pre-compiled version: "Gecode is an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications." http://www.gecode.org/ There is also Gecode/J, Java interface for the Gecode C++ constraint programming library. It also has Gist, a Graphical Interactive Search Tool. http://www.gecode.org/gecodej/ Bye Libra > Thanks in advance, > Benjohn