Next: About this document
Up: Milord II: Language Description
Previous: Syntax
This is the default logic used in Milord II when there is no local logic
declaration into a module.
- Truth-values
-
where the meaning of each term is the following:
- gp: Impossible
- mpop: Very few possible
- llp: Few possible
- modp: Slightly possible
- p: Possible
- fp: Quite possible
- mp: Very possible
- s: Definite
- Conjunction
- This operation is described in the Table 3.
Josep Puyol-Gruart
Thu Oct 23 15:34:13 MET DST 1997