Haha, I scanned all the comments to see if someone said prolog just to figure out that the OP did :D It's prolog for me too. Or I guess logic programming in ge

Haha, I scanned all the comments to see if someone said prolog just to figure out that the OP did :D It's prolog for me too. Or I guess logic programming in general, but prolog is the main standalone one. I really hope clojure's core.logic takes off.