]> On 1/16/09, Hugo Ferreira <hmf@inescporto.pt> wrote: > I have implemented a simple Prolog like inference engine > to be used in machine learning algorithms (ILP). My first > basic test shows that inference is dismally slow (compared > to a Prolog compiler). Consequently I am looking for > information on optimizing the code. Before trying low-level optimizations, i suggest you check carefully your implementation. It's a bit strange that your performance is so bad, and i suspect there could be improvement of algorithmic nature. There have been successful translations of Prolog to OCaml before : http://groups.google.com/group/comp.lang.prolog/msg/28c4361bb5f865b8?pli=1 , wich is quite different as it uses the ocaml compiler itself to get good performances.