Absys

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

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

История

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

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

См. также

Литература

Примечания

  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.
SQL
Это заготовка статьи о компьютерных языках. Помогите Википедии, дополнив её.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.