Hi!

When I consult a file that contains the call:

:- use_module(library(prolog_sys)).

I get the following results:

Ciao-Prolog 1.7 #162: Tue Dec 18 11:57:55 WET 2001 ?- ensure_loaded('ciao_aux17.config').

yes ?- predicate_property(write(_), P). {ERROR: user:predicate_property/2 - undefined predicate}

no ?- statistics. {ERROR: user:statistics/0 - undefined predicate}

no ?- use_module(library(prolog_sys)). Note: module already in executable

yes ?- statistics. memory used (total) 2957462 bytes program space (including reserved for atoms): 1680214 bytes number of atoms and functor/predicate names: 4253 number of predicate definitions: 2425 global stack 527988 bytes: 1352 in use, 526636 free local stack 16380 bytes: 196 in use, 16184 free trail stack 16244 bytes: 196 in use, 16048 free control stack 16516 bytes: 468 in use, 16048 free

0.000 sec. for 1 global, 0 local, and 0 control space overflows 0.000 sec. for 0 garbage collections which collected 0 bytes 0.002 sec. runtime, 110.526 sec. walltime

yes ?-

Can someone please explain me why the initial call to statistics/0 throws an exception if the module is already loaded?

Thanks,

Paulo

----------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Informatics Office 4.3 Ext. 3257 University of Beira Interior Phone: +351 275319700 6201-001 Covilhã Fax: +351 275319732 Portugal

mailto:pmoura(a)noe.ubi.pt http://www.ci.uc.pt/logtalk/pmoura.html -----------------------------------------------------------