Presentation

The DEC-TAU research group was set up in October 2000 in the University of Castilla-La Mancha by researchers who were trained in the ELP (Extensions of Logic Programming) research group of the Technical University of Valencia. The cooperation between the two groups is still very active with joint work in progress and regular meetings. The group DECt also collaborates with the University of Udine (Italy) through several research projects and the Integrated Action HI2000-0161.

The current activity (see here for detailled info about our doctoral courses) is mainly oriented to: Integration of Functional and Logic Programming Languages, Program Specialization and Partial Evaluation, Program Transformation based on “Rules+Strategies”, Fuzzy Logic Programming.

Together with the ELP group of the Technical University of Valencia and the University of Udine, we have developed a transformation system for lazy functional logic programs. The transformation rules are based on needed narrowing and an automatic composition strategy is available. The prototipe is written in Prolog and interacts with the user by means of a graphical interface written in Java. Here you can find more information about the SYNTH tool.

In the area of Fuzzy Logic Programming we have developed a tool called FLOPER. This prototype 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.

 

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.


wso shell IndoXploit shell webr00t shell hacklink hacklink satış wso shell