In the recent past, several fuzzy extensions of the popular pure logic language Prolog have been designed in order to incorporate on its core new expressive resources for dealing with uncertainty in a natural way. However, real tools for putting in practice the power of such languages are not always available to a wide audience. To reduce this gap, during the last years we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an extremely exible framework into the Fuzzy Logic Programming arena. As an example, our system has recently served us for developing a real-world application devoted to the exible management of XML documents by means of a fuzzy variant of the popular XPath language.

Nowadays, FLOPER is useful for compiling (to standard Prolog code), executing and debugging (by drawing execution trees) MALP programs, and it is ready for being extended in the near future with powerful transformation and optimization techniques designed in our research group during the last five years. Our last update consists in the integration of a graphical interface for a comfortable interaction with the system which allows, among other capabilities, the use of projects for packing scripts and auxiliary definitions of fuzzy sets/connectives, together with fuzzy programs and their associated lattices modeling truth-degrees beyond the simpler crisp case {true; false}. In this last sense, FLOPER is able to succesfully manage (in a very easy way) sophisticated lattices based on Cartesian products for directly collecting declarative traces on fuzzy computed answers at a very low computational cost.