Hi, I

:- use_module(library(listing)). and when I do :- listing. I get even internal functions; how should I qualify my request to get only the contents of my 'user' module (what I've loaded), and, to have it show the bodies as well as the heads? (Ciao does say 'yes' if I do :- listing(some_specific_predicate). ) But, what syntax should I use to list the user module?

Thanks,

Jeff Donner

============================================================================== 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/ -----------------------------------------------------------------------------