From: Guizhen Y. <gui...@cs...> - 2001-06-26 00:16:09
|
> Due to the semantics of get_residual/2, tts pretty tricky to check out > dependencies in this case, as get_residual/2 points to delay elements > whose variables may have been unified by resolution, but not > necessarily to the subgoals upon whose answers the delay is dependent > --- but perhaps this discussion is better left to the meeting. > > Terry > > P.S. How is Tues or Wed afternoon for you guys? Either day should be OK for me. --Guizhen |