Абсис - Absys

Absys
ПарадигмаЛогическое программирование
Впервые появился1967
Под влиянием
Пролог

Absys был ранним декларативный язык программирования от Университет Абердина.[1] Он предполагал ряд особенностей Пролог Такие как отрицание как неудача, операторы агрегации, центральная роль возврата[2] и решение ограничений.[1] Absys был первой реализацией язык логического программирования.[1]

Название Absys было выбрано в качестве сокращения для Абердинская система.[1]

Смотрите также

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

  1. ^ а б c d Элкок, E.W. (1990). «Абсис: первый язык логического программирования - ретроспектива и комментарий». Журнал логического программирования. 9 (1): 1–17. Дои:10.1016/0743-1066(90)90030-9.
  2. ^ Ковальский, Р. А. (1988). «Первые годы логического программирования» (PDF). Коммуникации ACM. 31: 38. Дои:10.1145/35043.35046.
  • "ABSYS: дополнительный компилятор для утверждений", Дж. М. Фостер и др., Mach Intell 4, Edinburgh U Press, 1969, стр. 423–429