Абсис
| Парадигма | Логическое программирование |
|---|---|
| Впервые появился | 1967 |
| Под влиянием | |
| Пролог | |
Absys был одним из первых декларативных языков программирования, разработанным в Абердинском университете . [1] Он предвидел ряд особенностей Пролога, таких как отрицание как отказ , операторы агрегации, центральная роль возврата [2] и решение ограничений. [1] Absys был первой реализацией языка логического программирования . [1]
Название Absys было выбрано как аббревиатура от Aberdeen System . [1]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д Элкок, EW (1990). «Absys: первый язык логического программирования — ретроспектива и комментарий» . Журнал логического программирования . 9 (1): 1–17. дои : 10.1016/0743-1066(90)90030-9 .
- ^ Ковальский, Р.А. (1988). «Ранние годы логического программирования» (PDF) . Коммуникации АКМ . 31:38 . дои : 10.1145/35043.35046 . S2CID 12259230 .
- «ABSYS: инкрементальный компилятор утверждений», Дж. М. Фостер и др., Mach Intell 4, Edinburgh U Press, 1969, стр. 423–429.