During the last two years, our developments regarding the design of the FLOPER tool (“Fuzzy LOgic Programming Environment for Research”), have been devoted to implant in its core a rule-based, easy representation of lattices representing fuzzy notions of truth degrees beyond the boolean case, in order to work with flexible programs belonging to the so-called
multi-adjoint logic approach
. Now, the system improves its initial running/debugging/tracing capabilities for managing this kind of fuzzy logic programs, with new options for manipulating in a classical Prolog style the mathematical foundations of the enrichment introduced by
. In particular, we show that for a given program and query, many different answers can be obtained when changing the assumption of truth in a single work session. The experience related here evidences the expressive power of Prolog rules (i.e., clauses) for implementing rich versions of multi-adjoint lattices in a very easy way, as well as its crucial role in further fuzzy logic computations.