압시스

Absys
압시스
패러다임논리 프로그래밍
첫 등장1967
영향받은
서언, 머리말

압시스는 애버딘 대학교의 초기 선언적 프로그래밍 언어였다.[1]그것은 실패와 같은 부정, 집계 연산자[2], 역추적과 제약 해결의 중심 역할과 같은 Prolog의 많은 특징들을 기대했다.[1]Absys는 논리 프로그래밍 언어의 첫 번째 구현이었다.[1]

애버딘 시스템의 약자로 애비스라는 이름이 선택되었다.[1]

참고 항목

참조

  1. ^ a b c d 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.
  • "ABSYS: 주장을 위한 증분 컴파일러", J.M. 포스터 외, 마하 인텔 4, 에든버러 U 프레스, 1969, 페이지 423–429