From: <ki...@cs...> - 2001-01-24 19:30:00
|
I vaguely recall that David put it in, but don't remember the reason. m > > Rui and I are starting to think about how to include assert and > retract in a MT environment (actually, I'm starting to think, but he's > been thinking about it for a while). There are a number of > complications, but one for today is assert_hook, called every time a > predicate is asserted, and retract_hook. > > I dont see the common system actually using any assert hooks --- does > anyone remember why this was put in, and what assert and retract hooks > are used for? > > Terry > > _______________________________________________ > Xsb-development mailing list > Xsb...@li... > http://lists.sourceforge.net/lists/listinfo/xsb-development |