The group has a long and active research history in (Constraint) Logic Programming, mainly in the fields of program analysis, implementation of sequential and parallel systems, visualization, and program development environments (including static / dynamic debugging and user interfaces). A number of popular products in the area include the results of these research efforts. The Clip group is actively involved in the practical application of (constraint) logic based programming languages and systems in emerging application areas.
The Clip Group has developed, among others, the constraint logic programming system and development enviroment Ciao. Ciao is a LGPL licensed, free software system, which is being used in industrial applications and in academia, and it is their main platform for developing logic-based applications and performing language design and implementation research. Ciao Prolog offers unique possibilities of extension which have allowed writing many libraries which add significant functionality: constraint solvers, concurrency, distributed and agent programming primitives, persistence, higher-order, objects, foreign language interfaces, etc. In this context, the Clip Group has also developed the PiLLoW library, arguably the most widely used library for interfacing (constraint) logic programming systems to the WWW. The Clip Group has also developed and distributes freely an automatic documentation generator for logic-based programming systems (lpdoc).
UPM's Clip Group has also defined and implemented several analysis frameworks for (constraint) logic languages, with applications ranging from automatic detection of parallelism to performance improvement through better compilation. The information obtained from such an analysis has also been used to discover inconsistencies with respect to program assertions to drive static / dynamic debugging tools. All these techniques are integrated in a generic preprocessor, instances of which are CiaoPP (for Ciao) and CHIPRE (for CHIP). Several 2D and 3D techniques for visualization of the run-time behavior of constraint programs have been also tested and implemented within the Ciao project.
The research group at UPM has participated in several European and Spanish projects in the last 12 years. Among them we may cite, as more directly related to the present proposal, the ESPRIT projects DiSCiPl, RadioWeb, Vocal, ACCLAIM, PRINCE, and ParForCe, and the ERCIM working group on constraints, HCM Abile program, and the COMPULOG II/III and Colognet Networks of Excellence. The group has also been granted projects by the Spanish government such as IPL-D, ELLA, and EDIPIA, which are related to the development and implementation of advanced logic systems and analysis tools for them. UPM has also obtained a U.S.A.-Spain Fulbright and NATO scientific collaboration grants. Besides a well-established undergraduate and PhD curriculum and strong relationships with other universities worldwide in the form of regular student exchanges, UPM has collaborated with a large number of companies in different projects. The companies with which UPM has currently contacts with, or has collaborated with, include SAGE (the Spanish branch of the German Software AG), Motorola Inc., Iberdrola (the main Spanish electrical company), PrologIA (France), OEM Partners (Belgium), Ibermatica (Spain), and Dalet (Israel). Additionally, UPM's Ciao Prolog System, as well as some related tools, are being used by industries in the development of several products including WWW interfaces, B2B systems, and agent systems.
The CLIP group acts as coordinator in the project, and also takes the role of technology provider, due to its long standing experience on logic programming systems and environments.