next up previous
Next: About this document Up: Milord II: Language Description Previous: Syntax

Default Logic


This is the default logic used in Milord II when there is no local logic declaration into a module.



where the meaning of each term is the following:

  1. gp: Impossible
  2. mpop: Very few possible
  3. llp: Few possible
  4. modp: Slightly possible
  5. p: Possible
  6. fp: Quite possible
  7. mp: Very possible
  8. s: Definite

This operation is described in the Table 3.


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