3 ms·
Yes 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
by swannodette 15y ago
Yes 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?