Eleanor McHugh wrote:
> On 15 Oct 2006, at 10:30, Yacao Wang wrote:
> > Actually I've been thinking of creating an auto-backtracking engine
> > for ruby
> > based on the Prolog engine, because it's so much fun to play with
> > non-deterministic programming. But I haven't got the time to do it.
> > Has
> > anyone have similar ideas or implementations?
>
> I've been considering implementing Icon-style backtracking for some
> time, but I'm always too busy with less interesting (but paid)
> projects. Ruby with goal-oriented convenience would certainly rock :)
I've started working on Prolog as a Ruby DSL, but haven't got anything
actually releasable yet. I wrote about what it will look like in a blog
here:

http://www.kdedevelopers.org/node/2369

For example:

      female(mary)
      likes(mary, wine)
      likes(john, X) << [female(X), likes(X, wine)]
 
-- Richard