CHIP (Constraint Handling in Prolog) es un lenguaje de programación lógica con restricciones desarrollado por M. Dincbas, Pascal Van Hentenryck y sus colegas en 1985 en el Centro Europeo de Investigación de la Industria Informática (ECRC), utilizando inicialmente una interfaz del lenguaje Prolog . [ 1 ] Fue el primer lenguaje de programación en implementar la programación con 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 exitoso solucionador comercial ILOG CPLEX es también, en parte, una derivación de la versión ECRC de CHIP.
Referencias
- ↑ Francesca Rossi ; Peter Van Beek; Toby Walsh (2006). Manual de programación con restricciones . Elsevier. pág. 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 lógica con restricciones CHIP . Conferencia internacional sobre 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 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 y computacional . 20 (12). Elsevier: 97– 123. CiteSeerX 10.1.1.47.721 . doi : 10.1016/0895-7177(94)90127-9 .
- ↑ Tecnología de programación de restricciones de segunda generación CHIP V5 Archivada el 16/07/2012 en Wayback Machine CHIP V5, COSYTEC
Enlaces externos
- CHIP - Historia de los lenguajes de programación ( versión archivada)
- Lenguajes de programación lógica
- Programación lógica con restricciones
- Temas básicos de lenguajes de programación