XSB
XSB| 패러다임 | 로직 프로그래밍 |
|---|---|
| 설계자 : | 데이비드 S.워렌, 테런스 스위프트, 코스티스 사고나스 |
| 안정적 해제 | 5.0 / 2022년 5월 12일; 전 ( |
| OS | 크로스 플랫폼 |
| 파일 확장명 | .p |
| 웹사이트 | 소스 위조.그물 |
| 영향을 받음 | |
| 프롤로그, PSB-프롤로그, SB-프롤로그 | |
XSB는 Katholieke Universityiteit Leuven, New University of Lisbon, Uppsala University 및 소프트웨어 공급업체 XSB, Inc.와 공동으로 개발한 프롤로그 프로그래밍 언어의 방언 이름입니다.
XSB는 테이블 해상도와 HiLog로 Prolog를 확장합니다.
특징들
XSB는 Warren Abstract Machine을 기반으로 한 Prolog의 편집된 방언입니다.[1]Quintus에서 파생된 시스템과 달리 XSB는 Prolog 원자를 기반으로 한 모듈 시스템을 사용합니다.[1]테이블 해상도가 특징이며 HiLog 언어를 지원합니다(제한된 고차 논리 프로그래밍 허용).[1]테이블링을 통해 XSB는 근거 있는 의미론을[1] 구현할 수 있으며 연역 데이터베이스 엔진으로 적합합니다.[2]오픈 소스 XSB 구현은 파이썬 프로그래밍 언어에 대한 인터페이스를 포함합니다.[3]
역사
XSB는 원래 스토니 브룩 대학교에서 데이비드 S에 의해 개발되었습니다.워렌, 테런스 스위프트, 그리고 코스티스 사고나스는 1993-4년에 출시되었습니다.이 언어는 1986년 스토니브룩 대학교에서도 개발된 SB-프롤로그 언어를 기반으로 하며, 테이블 해상도의 최초 구현이었습니다.[1]
구문
XSB는 정수, 부동 소수점 번호 및 원자와 같은 ISO 요구 Prolog 데이터 유형을 지원합니다.XSB의 정수는 다중 기저로 해석될 수 있습니다.기본적으로 정수는 기본 10에서 해석되지만 2에서 36까지의 기본값 범위에서 해석할 수 있습니다.[4]
참고문헌
- ^ a b c d e 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.
- ^ Brass, Stefan; Wenzel, Mario (2019). "Performance Analysis and Comparison of Deductive Systems and SQL Databases" (PDF). In Alviano, Mario (ed.). Datalog 2.0 2019. CEUR Workshop Proceedings. Vol. 2368. pp. 27–38.
- ^ Andersen, Carl; Swift, Theresa (2023), "The Janus System: A Bridge to New Prolog Applications", Prolog: The Next 50 Years, Cham: Springer Nature Switzerland, pp. 93–104, ISBN 978-3-031-35253-9, retrieved 2023-11-14
- ^ Swift, Theresa; Warren, David S. (13 May 2022). The XSB System Version 5.0.x Programmer’s Manual.
외부 링크
추가열람
- Warren, David (2020). Programming in Tabled Prolog (PDF) (Draft ed.).
- Swift, Terrance; Warren, David S. (2012). "XSB: Extending Prolog with Tabled Logic Programming". Theory and Practice of Logic Programming. 12 (1–2): 157–187. arXiv:1012.5123. doi:10.1017/S1471068411000500. ISSN 1471-0684. S2CID 6153112.
