From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: Inclusion of guile-log II Date: Fri, 6 Apr 2012 20:03:40 +0200 Message-ID: References: <87zkarqi5a.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=14dae93411cdf8766004bd067987 X-Trace: dough.gmane.org 1333735432 29352 80.91.229.3 (6 Apr 2012 18:03:52 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 6 Apr 2012 18:03:52 +0000 (UTC) Cc: guile-devel@gnu.org To: =?ISO-8859-1?Q?Ludovic_Court=E8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Apr 06 20:03:51 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SGDVm-0002OH-FI for guile-devel@m.gmane.org; Fri, 06 Apr 2012 20:03:50 +0200 Original-Received: from localhost ([::1]:49150 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SGDVl-0007Ja-Oq for guile-devel@m.gmane.org; Fri, 06 Apr 2012 14:03:49 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:52626) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SGDVi-0007Ip-4w for guile-devel@gnu.org; Fri, 06 Apr 2012 14:03:47 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SGDVg-0000oC-Ar for guile-devel@gnu.org; Fri, 06 Apr 2012 14:03:45 -0400 Original-Received: from mail-iy0-f169.google.com ([209.85.210.169]:64904) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SGDVg-0000no-3n; Fri, 06 Apr 2012 14:03:44 -0400 Original-Received: by iajr24 with SMTP id r24so4256717iaj.0 for ; Fri, 06 Apr 2012 11:03:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=zV6ugCyZsZIMwRkeDl9KdBJIbk7z5+gyTYpDK4BkGiM=; b=RgaGxAoUOVyt20s3U+w1HLbZC+R2xbyuuKOq/FRwBQAyNWHIxWRjGpnQ86TCIDS8dM T8CyPR/yrgB4Cfja0aaNkgzRwCGfDiJYGJ2nB6hTLPyAa1qRaXAYyaanoG8es+KwEF3v G2rGQHuUG6EaendHG6CovC3zJqSckJZNPPBvJTSeYaTvYNO6DOKuMe046WnkZsKdCM0X 92ASkT1i55N5MvFkcFzeaA1pD027HaTB4qxzOFty1KxxBIZK2QE2Z8BG/oaDQuPEWhsb g05zS/T4IHL8A5MMBI5EpiO+wldNGcoVHNEZOJtwUtv3Hdoecx8cxN9KQPaSUbTUgla5 yMqQ== Original-Received: by 10.50.219.194 with SMTP id pq2mr8828060igc.18.1333735420622; Fri, 06 Apr 2012 11:03:40 -0700 (PDT) Original-Received: by 10.50.242.102 with HTTP; Fri, 6 Apr 2012 11:03:40 -0700 (PDT) In-Reply-To: <87zkarqi5a.fsf@gnu.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.210.169 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14222 Archived-At: --14dae93411cdf8766004bd067987 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable > Regardless, I=92d be reluctant to use (or include in Guile) a logic > programming system that uses an interface different from that of Kanren, > because (1) there=92s a book explaining that interface, and (2) it=92s ve= ry > 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=E8s wrote: > Hi Stefan, > > Stefan Israelsson Tampe 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 o= f > it. > > Any idea why there=92s such a performance difference? > > Regardless, I=92d be reluctant to use (or include in Guile) a logic > programming system that uses an interface different from that of Kanren, > because (1) there=92s a book explaining that interface, and (2) it=92s ve= ry > well thought out, concise, elegant, and powerful. > > AIUI Guile-Log uses a different interface, right? What would it take to > implement Kanren=92s? > > Thanks, > Ludo=92. > > > --14dae93411cdf8766004bd067987 Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable > Regardless, I=92d be reluctant to use (or include in Guile) a logic > programming system that uses an interface different from that of Kanre= n,
> because (1) there=92s a book explaining that interface, and (2) it=92s= 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-ev= al-sgl
otherwise everything should be in I think.

To use it inst= all guile-log and use
=A0(use-modules (logic guile-log kanren))

There is some tests carrie= d over from the kanren sources in the test directory.

Have fun!
<= br>
On Wed, Apr 4, 2012 at 11:52 PM, Ludovic Cour= t=E8s <ludo@gnu.org> wrote:
Hi Stefan,

Stefan Israelsson Tampe <stef= an.itampe@gmail.com> skribis:

> If you want independence use kanren. For guile this approach is 10x fa= ster
> then kanren
> and 10x slower that a compiled prolog. Previously I thought that kanre= n has
> a more functional
> fundament and can express amazing things. But i'm now inclined tha= t
> 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=92s such a performance difference?

Regardless, I=92d be reluctant to use (or include in Guile) a logic
programming system that uses an interface different from that of Kanren, because (1) there=92s a book explaining that interface, and (2) it=92s very=
well thought out, concise, elegant, and powerful.

AIUI Guile-Log uses a different interface, right? =A0What would it take to<= br> implement Kanren=92s?

Thanks,
Ludo=92.



--14dae93411cdf8766004bd067987--