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

• Autores: Francisco Ibañez, Francisco Toledo Lobo , Fernando Barber Miralles, Rafael Berlanga , Gregorio Martín Quetglás , Raymundo Forradellas
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 483-492
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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