next up previous
Next: Types of facts Up: Deductive Knowledge Previous: Deductive Knowledge


Facts are the simplest knowledge representation unit in Milord II. They are named structures that represent the concepts used in a module. The declaration of a fact is made by binding an atomic name, that is, the identifier of the fact (predid), with a set of attributes (see Figure 3).

Figure 3: Syntax of fact definition.

Josep Puyol-Gruart
Thu Oct 23 15:34:13 MET DST 1997