ЧИП (язык программирования) - Википедия - CHIP (programming language)

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

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

Рекомендации

  1. ^ Франческа Росси; Питер Ван Бик; Тоби Уолш (2006). Справочник по программированию в ограничениях. Эльзевир. п. 444. ISBN  978-0-444-52726-4.
  2. ^ Динцбас, М; Van Hentenryck, P; Симонис, H; Аггун, А; Граф, Т; Бертье, Ф (1988). ЧИП языка программирования логических ограничений. Международная конференция по компьютерным системам пятого поколения: 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 ЧИП V5, COSYTEC

внешняя ссылка