> Olivier Thirifay wrote: > > is there a way to know the number of inferences needed to find a solution ? If you browse the archives of comp.lang.prolog you will find that there is no generally accepted definition of what a "logical inference" is, except that the classic naive-reverse-benchmark has 496 of them... I'm surprised that SWI-Prolog has such a built-in counter. It may be more interesting to insert counters at strategic points in your program manually (using e.g. nonlogical arrays of counters and incval/1), or you could have a look at the new lib(coverage) which inserts such counters for you. -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc, Imperial College / mailto:J.Schimpf@ic.ac.uk London SW7 2AZ, UK / http://www.icparc.ic.ac.uk/eclipseReceived on Mon Aug 19 17:47:47 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:16 PM GMT GMT