Archives of the Caml mailing list > Message from Andrej Bauer

Browse thread

Optimizing symbolic processing code

Hugo Ferreira
- blue storm
  - Hugo Ferreira
- Jon Harrop
  - Hugo Ferreira
    - Peter Ilberg
      - Hugo Ferreira
        
        Andrej Bauer
        
        Andrej Bauer
        
        Hugo Ferreira
        
        Andrej Bauer
        
        Hugo Ferreira
        
        Hugo Ferreira
        
        Kuba Ober
        
        Hugo Ferreira

Date:	2009-01-16 (19:09)
From:	Andrej Bauer <andrej.bauer@a...>
Subject:	Re: [Caml-list] Optimizing symbolic processing code

On Fri, Jan 16, 2009 at 5:19 PM, Hugo Ferreira <hmf@inescporto.pt> 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