number of logical inference

From: Olivier Thirifay <>
Date: Mon 19 Aug 2002 10:32:48 AM GMT
Message-ID: <>

is there a way to know the number of inferences needed to find a solution ?
like time(+goal) in SWI-Prolog : 

    Execute  Goal  just like  once/1 (i.e.  leaving  no choice  points),
    but  print used time, number  of logical inferences and the  average
    number  of  lips  (logical  inferences  per  second).     Note  that
    SWI-Prolog  counts the actual  executed number of inferences  rather
    than  the number of passes through  the call- and redo ports of  the
    theoretical 4-port model

I don't see anything like this in the documentation. 
It may be useful for me to realize some comparaisons...


Received on Mon Aug 19 11:46:44 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:16 PM GMT GMT