> Regardless, I’d be reluctant to use (or include in Guile) a logic > programming system that uses an interface different from that of Kanren, > because (1) there’s a book explaining that interface, and (2) it’s very > well thought out, concise, elegant, and powerful.
F.Y.I. I have now a kanren interface for guile-log, I do not support partially-eval-sgl otherwise everything should be in I think. To use it install guile-log and use (use-modules (logic guile-log kanren)) There is some tests carried over from the kanren sources in the test directory. Have fun! On Wed, Apr 4, 2012 at 11:52 PM, Ludovic Courtès <l...@gnu.org> wrote: > Hi Stefan, > > Stefan Israelsson Tampe <stefan.ita...@gmail.com> skribis: > > > If you want independence use kanren. For guile this approach is 10x > faster > > then kanren > > and 10x slower that a compiled prolog. Previously I thought that kanren > has > > a more functional > > fundament and can express amazing things. But i'm now inclined that > > guile-log has a feature > > that are very cool and I will try to explain this feature for the fun of > it. > > Any idea why there’s such a performance difference? > > Regardless, I’d be reluctant to use (or include in Guile) a logic > programming system that uses an interface different from that of Kanren, > because (1) there’s a book explaining that interface, and (2) it’s very > well thought out, concise, elegant, and powerful. > > AIUI Guile-Log uses a different interface, right? What would it take to > implement Kanren’s? > > Thanks, > Ludo’. > > >
