CHIP (Constraint Handling in Prolog) es un lenguaje de programación de lógica de restricciones desarrollado por M. Dincbas, Pascal Van Hentenryck y sus colegas en 1985 en el Centro Europeo de Investigación de la Industria de la Computación (ECRC), inicialmente utilizando una interfaz de lenguaje Prolog . [1] Fue el primer lenguaje de programación en implementar la Programación de Restricciones sobre Dominios Finitos, [2] [3] y posteriormente en introducir el concepto de Restricciones Globales. [4]
CHIP V5 es la versión desarrollada y comercializada por COSYTEC en París desde 1993 con Prolog, utilizando interfaces de lenguaje C , C ++ o Prolog. [5] El ILOG Solver, de éxito comercial, es también, en parte, una rama de la versión ECRC de CHIP.
Referencias
- ^ Francesca Rossi; Peter Van Beek; Toby Walsh (2006). Manual de programación de restricciones . Elsevier. pag. 444. ISBN 978-0-444-52726-4.
- ^ Dincbas, M; Van Hentenryck, P; Simonis, H; Aggoun, A; Graf, T; Berthier, F (1988). El lenguaje de programación de lógica de restricción CHIP . Congreso Internacional de Sistemas Informáticos de Quinta Generación: Springer. págs. 693–702. ISBN 3-540-19558-0.
- ^ Van Hentenryck, Pascal (1989). Satisfacción de restricciones en la programación lógica . MIT Press, Cambridge, MA. ISBN 0-262-08181-4.
- ^ Beldiceanu, Nicolas; Contejean, Evelyne (1994). "Introducción de restricciones globales en CHIP". Modelado matemático e informático . Elsevier. 20 (12): 97-123. CiteSeerX 10.1.1.47.721 . doi : 10.1016 / 0895-7177 (94) 90127-9 .
- ^ CHIP V5 Tecnología de programación de restricciones de segunda generación CHIP V5, COSYTEC