Caveats
CaveatsBecause an assertion here can be used by a rule there, assert/retract have the same power and problems as global variables in conventional programs.
That is, they are powerful tools for storing information during a program run, but can lead to difficult to find bugs if code in one place relies on code in another having done an assert or retract.
