Added more explanations on the interaction of tabling and imperative
constructs, like write.
Authored by: kifer 1999-06-17
Parent: [r888]
Child: [r890]
