Re: number of logical inference

From: Joachim Schimpf <>
Date: Mon 19 Aug 2002 04:47:27 PM GMT
Message-ID: <>
> 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   /  
 London SW7 2AZ, UK         /
Received 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