When starting a work session with FLOPER, the system automatically
loads the  lattice contained in the Prolog file "num.pl", thus
using by default real numbers in the interval [0..1] for modeling
truth degrees (option <<show>> is useful for displaying the set of
clauses  defining such lattice).

We can select with <<lat>> the lattice in "latMMPV-RULEML11.pl" and,
then, <<parse>> the fuzzy program contained in file "exaMMPV-RULE11.fpl"
and then choosing the <<run>> option for executing the default goal
"p(X)" (it is also possible to change the goal by selecting  <<intro>>,
whereas options <<tree>> and <<depth>> are useful too for visualizing
evaluation details). The same effects can be obtained if we
directly <<consult>> the prolog file "exaMMPV-RULEML11.pl" inside any
standard Prolog interpreter (SWI, Sicstus, etc...) for running the
goal "?- p(X,Truth_degree)".
