Esta línea de investigación persigue el diseño e implementación de lenguages lógicos que incluyan características provenientes de la lógica difusa, con el fin de permitir tratar la imprecisión con técnicas declarativas. Nos centramos en desarrollo de lenguajes lógicos basados en unificación débil (Bousi~Prolog) y en lógica multiadjunta (FLOPER) y también en el estudio de sus propiedades formales y aplicaciones.