# Logic Programming

**URL:** <https://www.ruby-forum.com/t/logic-programming/103076>\
**Category:** Ruby\
**Created:** [May 1, 2007, 3:37pm UTC](https://www.ruby-forum.com/t/logic-programming/103076 "2007-05-01T15:37:05Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [May 1, 2007, 3:37pm UTC](https://www.ruby-forum.com/t/logic-programming/103076/1 "2007-05-01T15:37:05Z")

</div>

Hello everyone.

Following a Ruby Q. posting a while a go, and various prior mentions  
of Prolog, I ventured off and had an explore on Wikipedia:

[Logic programming - Wikipedia](http://en.wikipedia.org/wiki/Logic_programming)

Opinion piece:

My interest here is that I’m unimpressed with the current state of  
programming. My feeling is that we’ve gone off down the wrong route with  
imperative programming and with OO. Mostly I have this feeling because  
there are many things that I want to express, which I don’t think are  
particularly complex, but which seem hard to express with programs. I  
find I need to say a lot more than I feel I should need to. I also  
believe that our current approaches are much too brittle under change  
(probably partly because we have to say too much in the first place).

Some of the logic ideas seem to line up with things I’ve been thinking  
about, but they’ve actually got something to work 😉 So that got me  
interested.

The question part:

So I’d like to have a play about with logic programming, but looking at  
implementations, my enthusiasm is a bit damped. I was hoping for a  
lovely graphical environment to start playing with. I’m developing on OS  
X. I’m not specifically interested in Prolog alone - anything in this  
area would be good. Can someone suggest tools I should be looking at for  
getting a feel for the ideas? I’ve found this:

[http://www.clip.dia.fi.upm.es/Software/Ciao/](http://www.clip.dia.fi.upm.es/Software/Ciao/)

But it’s instal from source, which is often a bad beggining for me ☹

Thanks in advance,  
Benjohn

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [May 1, 2007, 4:27pm UTC](https://www.ruby-forum.com/t/logic-programming/103076/2 "2007-05-01T16:27:34Z")

</div>

> area would be good. Can someone suggest tools I should be looking at for  
> getting a feel for the ideas?

Is this of interest to you ?

“Logic programming in Ruby: a tiny prolog interpreter and symbolic  
computation”  
[http://eigenclass.org/hiki.rb?tiny+prolog+in+ruby](http://eigenclass.org/hiki.rb?tiny+prolog+in+ruby)

Sorry if I misunderstood what you were looking for.

Kind regards,

Chris

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [May 1, 2007, 4:57pm UTC](https://www.ruby-forum.com/t/logic-programming/103076/3 "2007-05-01T16:57:15Z")

</div>

> Sorry if I misunderstood what you were looking for.

No, that’s exactly the right kind of thing. There’re some useful looking  
links in there too. Thanks very much!

---

<div class="post-metadata">

**Author:** ![unknown](https://www.ruby-forum.com/letter_avatar_proxy/v4/letter/u/4bbf92/32.png) [@unknown](https://www.ruby-forum.com/u/unknown)\
**Post date:** [May 1, 2007, 5:01pm UTC](https://www.ruby-forum.com/t/logic-programming/103076/4 "2007-05-01T17:01:17Z")

</div>

removed\_email\_address@domain.invalid ha scritto:

> [http://www.clip.dia.fi.upm.es/Software/Ciao/](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.”

> **[GECODE - An open, free, efficient constraint solving toolkit](https://www.gecode.org/)**
>
> Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.

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/](http://www.gecode.org/gecodej/)  
Bye  
Libra