% predicate that changes the data base delta(Old, New, Where)
% must declare the predicate in Old and New as dynamic.
delta(Old,New,Where):- retract(Old), call(Where), assert(New).
delta(Old,New):-delta(Old, New, true).