Interested Article - Absys

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

История

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

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

См. также

Литература

ABSYS: An Incremental Compiler for Assertions, J. M. Foster et al., Mach Intell 4, ^* , 1969, pp. 423–429.

Примечания

Elcock, E. W. (1990). . The Journal of Logic Programming . 9 (1): 1—17. doi : .
Kowalski, R. A. (1988). (PDF) . Communications of the ACM . 31 : 38. doi : . S2CID . (PDF) из оригинала 9 ноября 2020 . Дата обращения: 26 ноября 2023 .
Green, Cordell. (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.