Aplicación de CLP para mantener la razón en un sistema de control con restricciones
- Ibañez, Francisco
- Toledo Lobo, Francisco
- Barber Miralles, Fernando
- Berlanga, Rafael
- Martín Quetglás, Gregorio
- Forradellas, Raymundo
Publisher: Las Palmas de Gran Canarias : Universidad, 1992?
Year of publication: 1992
Pages: 483-492
Congress: Conferencia Latinoamericana de Informática (18. 1992. Las Palmas de Gran Canaria)
Type: Conference paper
Abstract
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