From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 92F76BB84 for ; Fri, 16 Jan 2009 21:48:43 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoABAMiBcElIDtyfimdsb2JhbACTRj4BAQEKCQwHDwW5KIVy X-IronPort-AV: E=Sophos;i="4.37,278,1231110000"; d="scan'208";a="19729920" Received: from fg-out-1718.google.com ([72.14.220.159]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jan 2009 21:48:43 +0100 Received: by fg-out-1718.google.com with SMTP id l27so833113fgb.43 for ; Fri, 16 Jan 2009 12:48:43 -0800 (PST) Received: by 10.86.51.10 with SMTP id y10mr683090fgy.9.1232138922187; Fri, 16 Jan 2009 12:48:42 -0800 (PST) Received: by 10.86.73.10 with HTTP; Fri, 16 Jan 2009 12:48:42 -0800 (PST) Message-ID: <7d8707de0901161248t39960316v46c6fa64e8001531@mail.gmail.com> Date: Fri, 16 Jan 2009 21:48:42 +0100 From: "Andrej Bauer" To: "Hugo Ferreira" Subject: Re: [Caml-list] Optimizing symbolic processing code Cc: caml-list@yquem.inria.fr In-Reply-To: <7d8707de0901161109y2de73536oc7a454f4f0e1ad91@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <4970488C.9080104@inescporto.pt> <200901161341.53632.jon@ffconsultancy.com> <49709693.50201@inescporto.pt> <4970B398.5010100@inescporto.pt> <7d8707de0901161109y2de73536oc7a454f4f0e1ad91@mail.gmail.com> X-Spam: no; 0.00; andrej:01 andrej:01 prolog:01 symbolic:01 caml-list:01 compares:01 optimizing:03 fold:06 interpreter:07 bauer:09 bauer:09 decent:12 wonder:14 something:14 added:15 After being so bad spirited in my last message, I decided to make it up by doing something positive. I have added to the PL Zoo a mini prolog interpreter, see http://andrej.com/plzoo/ . It is very slow and I am sure a decent implementation would speed it up by an order of magnitude (at least a 100 fold). I wonder how your implementation compares to mine. Best regards, Andrej