Re: Inclusion of guile-log II

[Stefan Israelsson Tampe <stefan.itampe@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1610 bytes --]

> 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 <ludo@gnu.org> wrote:

> Hi Stefan,
>
> Stefan Israelsson Tampe <stefan.itampe@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’.
>
>
>

[-- Attachment #2: Type: text/html, Size: 2026 bytes --]