From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: stefan Newsgroups: gmane.lisp.guile.devel Subject: unification Date: Mon, 12 Apr 2010 15:30:42 +0200 Message-ID: <201004121530.43030.stefan.tampe@spray.se> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: Text/Plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1271097817 14995 80.91.229.12 (12 Apr 2010 18:43:37 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 12 Apr 2010 18:43:37 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Mon Apr 12 20:43:36 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 1O1Oba-0002GX-Bl for guile-devel@m.gmane.org; Mon, 12 Apr 2010 20:43:30 +0200 Original-Received: from localhost ([127.0.0.1]:38115 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O1OI1-0003VO-8o for guile-devel@m.gmane.org; Mon, 12 Apr 2010 14:23:17 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1O1LNO-0006xN-4X for guile-devel@gnu.org; Mon, 12 Apr 2010 11:16:38 -0400 Original-Received: from mailman by lists.gnu.org with local (Exim 4.43) id 1O1LNN-0006x8-Pq for guile-devel@gnu.org; Mon, 12 Apr 2010 11:16:37 -0400 Original-Received: from [140.186.70.92] (port=33664 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1O1KKc-0008Fi-MB for guile-devel@gnu.org; Mon, 12 Apr 2010 10:09:44 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1O1KKW-0001So-O4 for guile-devel@gnu.org; Mon, 12 Apr 2010 10:09:41 -0400 Original-Received: from spsmtp02oc.mail2world.com ([74.202.142.198]:1499) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1O1KKW-0001S7-JT for guile-devel@gnu.org; Mon, 12 Apr 2010 10:09:36 -0400 Original-Received: from mail pickup service by spsmtp02oc.mail2world.com with Microsoft SMTPSVC; Mon, 12 Apr 2010 07:09:29 -0700 auth-sender: stefan.tampe@spray.se Original-Received: from 82.182.254.46 unverified ([82.182.254.46]) by spsmtp02oc.mail2world.com with Mail2World SMTP Server; Mon, 12 Apr 2010 07:09:27 -0700 User-Agent: KMail/1.12.4 (Linux/2.6.31.12-0.2-desktop; KDE/4.3.5; x86_64; ; ) X-Spam: [FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF,0,41]"\Miscellaneous\Strong" <0> X-OriginalArrivalTime: 12 Apr 2010 14:09:29.0306 (UTC) FILETIME=[C439A3A0:01CADA49] X-detected-operating-system: by eggs.gnu.org: Windows 2000 SP4, XP SP1+ X-TMDA-Confirmed: Mon Apr 12 11:16:37 EDT 2010 X-Mailman-Approved-At: Mon, 12 Apr 2010 14:22:02 -0400 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:10203 Archived-At: Hi, 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 system in guile (ducks!) So not so bad. But there is a nice abstraction that lies behind this code that can be useful. So I would like to snow in and try to make this abstraction solid (You may be scared of the code) and perhaps even faster. What options do I have to make it as fast and, if you are interested, please reply. By the way. I can help out as well. My main interest now is in type theory but I start to dig into guile now and I would probably be able to help out if you like in a short time, as my knowledge matures. Are there any suitable tickets to close? Regards Stefan