3 ms·
So that's where core.logic came from? I just went and bought TRS so that I can figure out where you're coming from with that.
by dpritchett 15y ago
So that's where core.logic came from? I just went and bought TRS so that I can figure out where you're coming from with that.
- swannodette 15y agoYes core.logic is an implementation of miniKanren. Soon as Dan Friedman and William Byrd confirm my approach to fair conjunction is solid, I plan on integrating fairKanren to be followed by cKanren which will bring powerful constraint solving facilities into Clojure.
- cgrand-net 15y agoDo you mean fair conjunction like in "Backtracking, Interleaving, and Terminating Monad Transformers" or something else/new?
- swannodette 15y agoI don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.
- cgrand-net 15y agoI think you're right and I had the stupids the other day: what this paper describes is simply your conde (né condi). No?