News for hackers. Stuff that matters.

A comment on UnConj. Parent comment

Re:UnConj by swannodette on Tuesday November 22, 2011 @12:35PM (#3266435)
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.
[ Parent | on HN ]
Re:UnConj by cgrand-net on Tuesday November 22, 2011 @01:09PM (#3266593)
Do you mean fair conjunction like in "Backtracking, Interleaving, and Terminating Monad Transformers" or something else/new?
[ Parent | on HN ]
Re:UnConj by swannodette on Tuesday November 22, 2011 @01:32PM (#3266707)
I don't think so though I'm not totally sure. That paper isn't really about logic programming in general - no vars, no unification.
[ Parent | on HN ]
Re:UnConj by cgrand-net on Friday November 25, 2011 @04:34PM (#3278305)
I think you're right and I had the stupids the other day: what this paper describes is simply your conde (né condi). No?
[ Parent | on HN ]