This work was concerned with the last enrichment performed on our FLOPER system to cope with similarity relations. In [5, 4, 11] we provide some advances in the design of declarative semantics and/or correctness properties regarding the development of fuzzy logic languages dealing with similarity/proximity relations (Bousi∼Prolog) or highly expressive lattices modeling truth degrees (MALP). As a matter of future work we want to establish that analogous –but reinforced– features also hold in the twofold integrated fuzzy language FASILL whose syntax, procedural principle (based on weak -instead of syntactic- unification for managing similarity relations) and implementation details were described along this web.