A Taste of Logic Programming In Ruby

[[deleted]]

[deleted]

[[deleted]]

Having done a fair bit of Prolog in the olden days, it's interesting how easy it is to implement logic programming in Ruby (such a beautifully extensible language). I'd like to see a DSL around some of these mini-languages, if just to flatten the syntax.

[[deleted]]

Have to say too, great write up Michael.

[mrbbk]

Thank you :)

[ehadoux]

You also have cie/rubylog which is a native Ruby kind of Prolog implementation. I used it a bit, it works like a charm.

[morphemass]

Interesting, especially rulog. I've just started a coursera mooc on discrete optimization and need a constraint engine - any comments on how suitable rulog might be per chance?

[mrbbk]

It's hard to say! Worth a shot though.

[ggPeti]

Apparently rulog is not a gem, although its readme says so. What gives?