Absys
| Absys | |
|---|---|
| Класс языка | язык программирования и декларативный язык программирования |
| Появился в | 1967 |
Absys — один из первых декларативных языков программирования. Название Absys было выбрано как аббревиатура от Aberdeen System.
История[править | править код]
Разработан в Абердинском университете.[1] Он предвосхитил ряд особенностей языка программирования Prolog.[2] Вероятно, являлся первой реализацией языка логического программирования.
Использование математической логики для представления и выполнения компьютерных программ также является особенностью лямбда-исчисления, разработанного Алонзо Чёрчем в 1930-х. Однако первое предложение использовать клаузальную форму логики для представления компьютерных программ было сделано Корделлом Грином.[3] При этом использовалась аксиоматизация подмножества LISP вместе с представлением отношения ввода-вывода для вычисления отношения путём моделирования выполнения программы в LISP. С другой стороны, язык программирования Absys использовал комбинацию уравнений и лямбда-исчисления в языке ассертивного программирования, который не накладывает никаких ограничений на порядок выполнения операций.[4]
См. также[править | править код]
Литература[править | править код]
- ABSYS: An Incremental Compiler for Assertions, J. M. Foster et al., Mach Intell 4, Edinburgh University Press*, 1969, pp. 423–429.
Примечания[править | править код]
- ↑ Elcock, E. W. (1990). "Absys: the first logic programming language —A retrospective and a commentary". The Journal of Logic Programming. 9 (1): 1—17. doi:10.1016/0743-1066(90)90030-9.
- ↑ Kowalski, R. A. (1988). "The early years of logic programming" (PDF). Communications of the ACM. 31: 38. doi:10.1145/35043.35046. S2CID 12259230. Архивировано (PDF) 9 ноября 2020. Дата обращения: 26 ноября 2023.
- ↑ Green, Cordell. Application of Theorem Proving to Problem Solving (PDF). IJCAI 1969. Архивировано (PDF) 10 февраля 2023. Дата обращения: 26 ноября 2023.
- ↑ Foster, J.M.; Elcock, E.W. (1969). ABSYS 1: An Incremental Compiler for Assertions: an Introduction. Fourth Annual Machine Intelligence Workshop. Machine Intelligence. Vol. 4. Edinburgh, UK: Edinburgh University Press. pp. 423—429.
 | Это заготовка статьи о компьютерных языках. Помогите Википедии, дополнив её. |