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 (20:48)
From:	Andrej Bauer <andrej.bauer@a...>
Subject:	Re: [Caml-list] Optimizing symbolic processing code

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