Tanks Bart. So I can create new predicates . I don´t touch prolog since the times of my Sinclair Spectrum. By the way, The Ciao-emacs integration is wonderful. I´m involved in a meta-programming project in which I need also to modify already asserted predicates . Can I get the definition of a clause and manage his body either as a list or as any other serial object that Ciao may have or, else, I must keep a copy of the asserted clause definitions in variables? On 8/23/05, Bart Demoen <Bart.Demoen(a)cs.kuleuven.ac.be> wrote:
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