Resumen de Aplicación de CLP para mantener la razón en un sistema de control con restricciones

Francisco Ibañez, Francisco Toledo Lobo, Fernando Barber Miralles, Rafael Berlanga, Gregorio Martín Quetglás, Raymundo Forradellas

• En este trabajo se presentan diferentes métodos basados en técnicas de CSP [6] que permiten, mediante un lenguaje CLP, mantener la consistencia en un Sistema de Control con Restricciones sobre el que se realiza la aplicación.

  Las diferentes técnicas están implementadas a través de aproximaciones realizadas en el Lenguaje CHIP [5], [7], [14] (Constraints Handling In Prolog) sobre las que se discuten las ventajas y desventajas que surgen entre ellas y con respecto a los métodos convencionales utilizados para el mantenimiento de la razón