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=1.0 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 BAB48BB84 for ; Fri, 16 Jan 2009 20:09:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnIBAFhqcElIDtyZkGdsb2JhbACTRj4BAQEBCQkMBxEDuiSFcg X-IronPort-AV: E=Sophos;i="4.37,278,1231110000"; d="scan'208";a="19727198" Received: from fg-out-1718.google.com ([72.14.220.153]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Jan 2009 20:09:18 +0100 Received: by fg-out-1718.google.com with SMTP id l27so817564fgb.43 for ; Fri, 16 Jan 2009 11:09:18 -0800 (PST) Received: by 10.86.91.12 with SMTP id o12mr305151fgb.16.1232132957037; Fri, 16 Jan 2009 11:09:17 -0800 (PST) Received: by 10.86.73.10 with HTTP; Fri, 16 Jan 2009 11:09:16 -0800 (PST) Message-ID: <7d8707de0901161109y2de73536oc7a454f4f0e1ad91@mail.gmail.com> Date: Fri, 16 Jan 2009 20:09:16 +0100 From: "Andrej Bauer" To: "Hugo Ferreira" Subject: Re: [Caml-list] Optimizing symbolic processing code Cc: caml-list@yquem.inria.fr In-Reply-To: <4970B398.5010100@inescporto.pt> 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> X-Spam: no; 0.00; andrej:01 andrej:01 2009:98 prolog:01 wrote:01 symbolic:01 caml-list:01 implemented:02 optimizing:03 fri:05 explanation:06 interpreter:07 probable:07 bauer:09 bauer:09 On Fri, Jan 16, 2009 at 5:19 PM, Hugo Ferreira wrote: >> http://web.archive.org/web/20030213072337/http://www.vanx.org/archive/wam/wam.html > > Ok, new of this document. But I think this demands too-much effort. Judging from what your responses, the most probable explanation for inefficiency is that you implemented your prolog interpreter badly. It would help a lot if you just showed us your code. Best regards, andrej