From ishida@it.matsue-ct.ac.jp  Thu Nov 25 03:49:27 1999
Received: from black-gw.matsue-ct.ac.jp (black-gw.matsue-ct.ac.jp [202.245.224.1])
	by swi.psy.uva.nl (8.9.3/8.9.3) with SMTP id DAA01462
	for <prolog@swi.psy.uva.nl>; Thu, 25 Nov 1999 03:49:22 +0100 (MET)
Received: 	id LAA27019; Thu, 25 Nov 1999 11:48:02 +0900
Received: by gateway id LAA13500 for <prolog@swi.psy.uva.nl>; Thu, 25 Nov 1999 11:54:17 +0900
Received: by gateway id LAA28620 for <prolog@swi.psy.uva.nl>; Thu, 25 Nov 1999 11:47:55 +0900 (JST)
Message-Id: <9911250236.AA01107@milk.it.matsue-ct.ac.jp>
From: Kazunari Ishida <ishida@it.matsue-ct.ac.jp>
Date: Thu, 25 Nov 1999 11:36:41 +0900
To: prolog@swi.psy.uva.nl
Subject: Resolved "On a compatibility of statistics/2"
MIME-Version: 1.0
X-Mailer: AL-Mail 1.32
Content-Type: text/plain; charset=iso-2022-jp

I have resolved my problem.

The solution is described as an usage of consult(+File)
in 3.2.9 of it's reference manual.

To do "[library(quintus)]." on the interpreter,
I can take quintus compatibility.

Thank you for your patience of my stupid question.

Kazunari Ishida <ishida@it.matsue-ct.ac.jp> wrote$B!'(J
>Please tell me how to invoke a predicate
>"statistics(runtime,Time)." correctly with SWI-Prolog.
>
>------------------------
>I want to obtain runtime statistics of prolog.
>
>However, staticistics/2 of SWI-Prolog do not have 
>"runtime" as it's key (described in 3.40 of it's Manual).
>
>I find a file of "quintus.pl" for compatibility 
>with the other prolog interpreter.
>
>However, I can't redefine statistics/2,
>instead of consulting the file.
>-------------------------
>
>Thank you for any response in advance.

--
Dr. Kazunari Ishida, Research Associate,
E-mail: ishida@it.matsue-ct.ac.jp, ishida@ohta.is.uec.ac.jp
URL: http://black-gw.matsue-ct.ac.jp:1085/personal/staff/,
     http://www.ohta.is.uec.ac.jp/ishida/
Phone: +81 852-36-5247 Facsimile: +81 852-36-5247
The Department of Information Engineering
The Matsue National College of Technology 
14-4 Nishiikuma, Matsue, Shimane 690-0865, Japan

