can I assert and retract not only facts, but also dynamic clauses

with variables such are:

isSoon(Father, Son):-isFather(Son Father)

Yes you can. Try:

?- assert((iknow(X) :- ireadthemanualabout(X))).

yes ?- iknow(assert).

:-)

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