Designing Lattices of Truth Degrees for Fuzzy Logic Programming Environments

During the last two decades, several fuzzy extensions of the pure logic language Prolog have been developed thus producing modern fuzzy logic languages which manage truth degrees beyond the simpler case of true, false. Such values are usually collected in lattices whose correct design require to take special care when deciding the top/bottom elements, establishing the ordering relation and so on. In this paper we describe a graphical tool devoted to assist the development of such structures. A crucial and distinguishing feature of the tool relies on its capability for generating code in form of Prolog clauses which can be directly imported by the fuzzy logic programming environment FLOPER developed too in our research group.