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). Now, we can <<parse>> the fuzzy
program contained in file "example.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 "example.pl" inside any
standard Prolog interpreter (SWI, Sicstus, etc...) for running the
goal "?- p(X,Truth_degree)".
