From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=) Newsgroups: gmane.lisp.guile.devel Subject: Re: unification Date: Tue, 13 Apr 2010 13:55:38 +0200 Message-ID: <87mxx74ldx.fsf@gnu.org> References: <201004121530.43030.stefan.tampe@spray.se> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1271159781 5506 80.91.229.12 (13 Apr 2010 11:56:21 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 13 Apr 2010 11:56:21 +0000 (UTC) Cc: guile-devel@gnu.org To: stefan Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Tue Apr 13 13:56:19 2010 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1O1ej5-000843-4r for guile-devel@m.gmane.org; Tue, 13 Apr 2010 13:56:19 +0200 Original-Received: from localhost ([127.0.0.1]:52647 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O1ej4-000409-N3 for guile-devel@m.gmane.org; Tue, 13 Apr 2010 07:56:18 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1O1eic-0003qn-VA for guile-devel@gnu.org; Tue, 13 Apr 2010 07:55:51 -0400 Original-Received: from [140.186.70.92] (port=38899 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O1eib-0003qD-Ht for guile-devel@gnu.org; Tue, 13 Apr 2010 07:55:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1O1eiV-0005DT-4j for guile-devel@gnu.org; Tue, 13 Apr 2010 07:55:49 -0400 Original-Received: from mail4-relais-sop.national.inria.fr ([192.134.164.105]:16741) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O1eiU-0005DK-R2 for guile-devel@gnu.org; Tue, 13 Apr 2010 07:55:43 -0400 X-IronPort-AV: E=Sophos;i="4.52,197,1270418400"; d="scan'208";a="60626981" Original-Received: from laptop-147-210-128-170.labri.fr (HELO nixey) ([147.210.128.170]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 13 Apr 2010 13:55:40 +0200 In-Reply-To: <201004121530.43030.stefan.tampe@spray.se> (stefan's message of "Mon, 12 Apr 2010 15:30:42 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux) X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 24 Germinal an 218 de la =?iso-8859-1?Q?R=E9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:10209 Archived-At: Hello! stefan writes: > I did a small try to extend guile to handle unification. The result is in > > http:///c-lambda.se/gp.tar.gz > > In there is an example of a unification solution of the Einstein riddle. > The solution takes 150ms on my PC. Gnu prolog execute it in about 16ms. > I'm using a c-extension linked in which is a fun play with the tagging sy= stem=20 > in guile (ducks!) I haven=E2=80=99t looked at the code but that sounds like an interesting and useful project! If I were you I would write the unification code in Scheme, at least as a starting point, esp. since I would expect most optimizations to be done at an algorithmic level. Then you could implement the hot spots in C, if that turns out to be a real advantage, or simply wait until Guile gets a native compilation back-end, JIT, or both. :-) > By the way. I can help out as well. My main interest now is in type theor= y but=20 > I start to dig into guile now and I would probably be able to help out if= you=20 > like in a short time, as my knowledge matures. > > Are there any suitable tickets to close? You could look at the bugs in , along with posts on left unanswered. And of course, you could do testing under all possible conditions, or look at the code and improve the bits that please you. :-) Besides, there=E2=80=99s an informal to-do list in the minds of some of us = for 2.0, and that list is getting small. Thanks, Ludo=E2=80=99.