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