퀸투스 프롤로그

Quintus Prolog

퀸투스 프롤로그(Quintus Prolog)는 Warren Abstract Machine을 기반으로 한 프롤로그 프로그래밍 언어의 독점적인 구현체입니다.

역사

퀸터스 프롤로그는 1984년에 데이비드 H. D. 워렌, 윌리엄 콘펠드, 로렌스 버드, 페르난도 페레이라, 커스버트 허드가 이러한 목적으로 설립한 퀸터스 컴퓨터 사이언스가 최근 제안한 워렌 추상 기계의 구현으로 처음 소개되었습니다.[1]Quintus는 1989년 Intergraph Corporation에 매각되었고,[2][3] 결국 1998년 SICS에 인수되었습니다.[1]몇 가지 기능이 프롤로그 구현 SICStus로 통합된 후, 2003년에 최종 버전이 Quintus 3.5로 출시되었습니다.2023년 11월 현재, 퀸투스는 SICS에 의해 여전히 유지되고 있습니다.[1][4]

특징들

Quintus Prolog에서 사용된 구문은 DEC-10 Prolog의 구문을 기반으로 합니다.[1]오랫동안 프롤로그의 가장 성능이 뛰어난 구현으로 알려졌으며 Warren Abstract Machine에 대한 명령 병합 및 전문화와 같은 최적화를 구현한 최초의 제품이었습니다.[1][5]

유산

프롤로그 구현 및 상호 영향력

Quintus Prolog는 사실상의 표준으로 올라섰고, 1995/6년에 개발된 Prolog의 ISO 표준에 상당한 영향을 미쳤습니다.[1]또한, ISO 표준에 의해 예상되는 모듈 시스템이 Quintus의 모듈 시스템에서 벗어난 반면, Quintus 모듈 시스템은 실제로 ISO에서 의무화한 것보다 현대적인 Prolog 구현에서 더 널리 채택되고 있습니다.[1]상업 및 연구 기반의 다른 인기 있는 프롤로그 시스템은 SICStus, SWI-Prolog, YAP 및 Ciao를 포함한 Quintus Prolog의 직접적인 영향을 받습니다.[1]

참고문헌

  1. ^ a b c d e f g h Körner, Philipp; Leuschel, Michael; Barbosa, João; Costa, Vítor Santos; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni (November 2022). "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming. 22 (6): 776–858. doi:10.1017/S1471068422000102. ISSN 1471-0684.
  2. ^ John A. N. Lee (1995). "Cuthbert C. Hurd". International biographical dictionary of computer pioneers. Taylor & Francis for IEEE Computer Society Press. pp. 388–389. ISBN 978-1-884964-47-3.
  3. ^ David E. Weisberg (2008). "Intergraph" (PDF). The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering. Archived from the original (PDF) on July 7, 2010. Retrieved May 26, 2010.
  4. ^ "Quintus Prolog Homepage". quintus.sics.se. Retrieved 2023-11-12.
  5. ^ Nässén, Henrik; Carlsson, Mats; Sagonas, Konstantinos (2001-09-05). "Instruction merging and specialization in the SICStus Prolog virtual machine". Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming. New York, NY, USA: ACM. doi:10.1145/773184.773191.

2023년 11월 12일 현재, 이 기사는 필립 쾨르너, 마이클 르셸, 주아오 바르보사, 비토르 산토스 코스타, 베로니카 달, 마누엘 5세가 쓴 프롤로그와 그 너머의 50년의 전체 또는 일부에서 파생되었습니다.에르메네길도, 호세 F.모랄레스, 얀 빌레메이커, 다니엘 디아즈, 살바도르 아브레우, 지오반니 시아토저작권자는 CC BY-SA 3.0 및 GFDL에 따라 재사용을 허용하는 방식으로 콘텐츠를 라이선스하였으므로, 관련 조항은 모두 준수해야 합니다.