add syntax for backtrackable assert/retract.
Authored by: gzyang 2001-03-02
Parent: [r2236]
Child: [r2238]