ЧИП (язык программирования)

CHIP (обработка ограничений в Прологе) — это язык программирования логики ограничений, разработанный М. Динкбасом, Паскалем Ван Хентенриком и его коллегами в 1985 году в Европейском исследовательском центре компьютерной индустрии (ECRC), первоначально с использованием интерфейса языка Пролог . ^[1]Это был первый язык программирования, реализовавший программирование в ограничениях для конечных областей. ^[2]^[3]и впоследствии ввести концепцию глобальных ограничений. ^[4]

CHIP V5 — это версия, разработанная и продаваемая COSYTEC в Париже с 1993 года на базе Пролога с использованием языковых интерфейсов C , C++ или Prolog. ^[5] Коммерчески успешный решатель ILOG CPLEX также частично является ответвлением версии CHIP ECRC.

Ссылки

^ Франческа Росси ; Питер Ван Бик; Тоби Уолш (2006). Справочник по программированию в ограничениях . Эльзевир. п. 444. ИСБН 978-0-444-52726-4 .
^ Динкбас, М; Ван Хентенрик, П; Симонис, Х; Аггун, А; Граф, Т; Бертье, Ф (1988). Язык программирования логики ограничений CHIP . Международная конференция по компьютерным системам пятого поколения: Springer. стр. 693–702. ISBN 3-540-19558-0 .
^ Ван Хентенрик, Паскаль (1989). Удовлетворение ограничений в логическом программировании . MIT Press, Кембридж, Массачусетс. ISBN 0-262-08181-4 .
^ Бельдичану, Николас; Контежан, Эвелин (1994). «Введение глобальных ограничений в CHIP». Математическое и компьютерное моделирование . 20 (12). Эльзевир: 97–123. CiteSeerX 10.1.1.47.721 . дои : 10.1016/0895-7177(94)90127-9 .
^ CHIP V5 Технология программирования ограничений второго поколения CHIP V5, COSYTEC

Внешние ссылки

ЧИП - История языков программирования ( архивная версия)

Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее .

[RossiBeek2006-1] Франческа Росси ; Питер Ван Бик; Тоби Уолш (2006). Справочник по программированию в ограничениях . Эльзевир. п. 444. ИСБН 978-0-444-52726-4 .

[2] Динкбас, М; Ван Хентенрик, П; Симонис, Х; Аггун, А; Граф, Т; Бертье, Ф (1988). Язык программирования логики ограничений CHIP . Международная конференция по компьютерным системам пятого поколения: Springer. стр. 693–702. ISBN 3-540-19558-0 .

[3] Ван Хентенрик, Паскаль (1989). Удовлетворение ограничений в логическом программировании . MIT Press, Кембридж, Массачусетс. ISBN 0-262-08181-4 .

[4] Бельдичану, Николас; Контежан, Эвелин (1994). «Введение глобальных ограничений в CHIP». Математическое и компьютерное моделирование . 20 (12). Эльзевир: 97–123. CiteSeerX 10.1.1.47.721 . дои : 10.1016/0895-7177(94)90127-9 .

[5] CHIP V5 Технология программирования ограничений второго поколения CHIP V5, COSYTEC

[1]

[2]

[3]

[4]

[5]