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.