The Declarative Programming and Automatic Program Transformation (DEC-tau) research group was created, in October 2000, to promote the research and development of formal methods applied, in particular, to the integration of declarative multiparadigm programming languages and to the automatic transformation of declarative programs written in this type of languages. We use the term “multiparadigm” in a broad sense encompassing languages that integrate logical, functional, as well as fuzzy logic characteristics.
In the last years we have focused our interest in the design of fuzzy logic programming languages that incorporate among their expressive resources the treatment of uncertain information in a natural way. Specifically, we have developed a language based on unification by similarity, which we call Bousi~Prolog (Bousi is the spanish acronym of “Fuzzy Prolog with Unification by Similarity”). There exists a high level implementation and a low level implementation that is based on a prototype of a Similarity Warren Abstract Machine with (SWAM). In addition, our group has implemented a system for the execution of multi-adjoint logic programs called FLOPER (Fuzzy LOgic Programming Environment for Research). The FLOPER system is written in Prolog and it is able (among other thing) to directly translate fuzzy logic programs into Prolog code in order to safely execute these residual programs inside any standard Prolog interpreter in a completely transparent way for the final user. In this link you can find more information about the FLOPER tool.
It is worth mentioning that the first practical applications of these languages have already been made: Bousi~Prolog has been used for text cataloging and FLOPER to manipulate XML text, implementing fuzzy extensions of the XPath and XQuery languages.
At the present time, we are combining both approaches in the design and implementation of the, fully integrated, fuzzy logic programming language called FASILL.
El grupo de investigación de Programación Declarativa y Transformación Automática de Programas (DEC-tau) se creó, en Octubre de 2000, para propiciar la investigación y el desarrollo de métodos formales aplicados, en particular, a la integración de lenguajes declarativos multiparadigma y la transformación automática de los programas declarativos escritos en este tipo de lenguajes. Empleamos el calificativo “multiparadigma” en un sentido amplio que engloba lenguajes que integran características lógicas, funcionales, así como lógico difusas.
En los últimos años hemos centrado nuestro interés en el diseño de lenguajes lógicos difusos que incorporen entre sus recursos expresivos el tratamiento de información imprecisa de forma natural. En concreto, hemos desarrollado un lenguaje basado en unificación por similaridad, que denominamos Bousi~Prolog (Prolog BOrroso con Unificación por SImilaridad), del que existe una implementación de alto nivel y una implementación de bajo nivel que se apoya en un prototipo de máquina de Warren con similaridad (SWAM). Además, nuestro grupo ha implementado un sistema para la ejecución de programas multiadjuntos que denominamos FLOPER (acrónimo de Fuzzy LOgic Programming Environment for Research). Es de reseñar que ya se han producido las primeras aplicaciones prácticas de estos lenguajes: Bousi~Prolog se ha utilizado para la catalogación de textos y FLOPER para manipular texto XML, implementando una extensión difusa de los lenguajes XPath y XQuery.
En la actualidad, estamos combinando ambos enfoques en el diseño e implementación del lenguaje de programación de lógica difusa, totalmente integrado, FASILL.