Let me suggest. Shall we say that we use the slightly modified version of (ice-9 match) that ypu dug up for now!
I found that this code is much faster then the old code and then the speedup by using opcode is not much. For unification we make a special matcher and keep it under a prolog library. On a side note I have not gotten any answer from the author of that code that I modified. Cheers Stefan On Monday 10 May 2010 10:26:53 am Ludovic Courtès wrote: > Hi, > > stefan <stefan.ta...@spray.se> writes: > > (match x ((a b) (+ a b))) > > > > (let ((F (lambda (a b) (+ a b)))) > > (c-code-match x pat F)) > > > > This has it's elegance. So do you see any performancs > > issues using this? > > I’d rather avoid C completely for (ice-9 match). I was mentioning use > of C for the Prolog implementation you were discussing. > > Thanks, > Ludo’. >
