You probably want clause/2:
?- assert((iknow(X) :- ireadthemanualabout(X))).
yes ?- clause(iknow(X),Body).
Body = 'user:ireadthemanualabout'(X) ? ;
no
Cheers
Bart Demoen
============================================================================== 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/ -----------------------------------------------------------------------------