Absys (Absys)

Absys
Absys
Класс языка	язык программирования и декларативный язык программирования
Появился в	1967

Absys — один из первых декларативных языков программирования. Название Absys было выбрано как аббревиатура от Aberdeen System.

История

Разработан в Абердинском университете.^[1] Он предвосхитил ряд особенностей языка программирования Prolog.^[2] Вероятно, являлся первой реализацией языка логического программирования.

Использование математической логики для представления и выполнения компьютерных программ также является особенностью лямбда-исчисления, разработанного Алонзо Чёрчем в 1930-х. Однако первое предложение использовать клаузальную форму логики для представления компьютерных программ было сделано Корделлом Грином^[англ.].^[3] При этом использовалась аксиоматизация подмножества LISP вместе с представлением отношения ввода-вывода для вычисления отношения путём моделирования выполнения программы в LISP. С другой стороны, язык программирования Absys использовал комбинацию уравнений и лямбда-исчисления в языке ассертивного программирования, который не накладывает никаких ограничений на порядок выполнения операций.^[4]

См. также

ABSET^[англ.]

Литература

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.

[1] 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.

[2] 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.

[3] Green, Cordell. Application of Theorem Proving to Problem Solving (PDF). IJCAI 1969. Архивировано (PDF) 10 февраля 2023. Дата обращения: 26 ноября 2023.

[4] 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.

[1]

[2]

[3]

[4]