Roel Wuyts writes:
I am wondering how to use the trace/1 predicate. I included the three packages mentioned in the doc, but when I then do: ?- trace( --some styff-- ) I just get that trace/1 is undefined...
In general, you need to load the packages also in the toplevel to use them in such a way.
Unfortunately, in this case it won't work. The expansion performed for the trace predicate does not work from the shell prompt. You will have to inline calls to trace in the program code.
Regards,
Francisco Bueno CLIP group - CS Dept. - FIM - UPM Campus de Montegancedo - 28660, Boadilla del Monte - Madrid Tel: +34 1 336 7441 Fax: +34 1 352 4819 Internet: bueno(a)fi.upm.es http://www.clip.dia.fi.upm.es/~bueno/ ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------