FLOPER es un entorno de programación lógica difusa que ha sido desarrollado en la UCLM a partir de cuatro proyectos fin de carrera que preceden al que proponemos ahora. La herramienta es capaz de ejecutar y depurar programas difusos (mediante un pre-proceso de los mismos que los traduce a código Prolog estándar) sobre el conocido entorno Sicstus-Prolog. Además, incorpora un entorno gráfico escrito en Java que permite interactuar con el sistema de forma ágil y flexible. El presente proyecto se centrará en la inclusión dentro del prototipo de recursos que faciliten las tareas de programación para aquellos usuarios que estén especialmente familiarizados con el lenguaje Prolog: formatos predefinidos de listas, operadores de corte, etc. Además se avanzará en la inclusión de técnicas de verificación de propiedades con fuerte sabor "fuzzy" (agregadores, conjunciones, adjunción), al tiempo que se extiende la interfaz gráfica para darles acceso de la forma más natural posible.