next up previous

12.9 FACT FUNCTIONS

The following actions are used for assert, retracting, and modifying facts.

12.9.1 Creating New Facts

12.9.2 Removing Facts from the Factlist

12.9.3 Modifying Template Facts

12.9.4 Duplicating Template Facts

12.9.5 Asserting a String

12.9.6 Getting the FactIndex of a Factaddress



next up previous