XSB
Script error: No such module "For".
Page Module:Infobox/styles.css has no content.
| XSB | |
|---|---|
| Paradigm | Logic Programming |
| Designed by | David S. Warren, Theresa Swift, Kostis Sagonas |
| Template:Infobox software/simple | |
| OS | Cross-platform |
| Filename extensions | .P |
| Website | xsb |
| Influenced by | |
| Prolog, PSB-Prolog, SB-Prolog | |
XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.
XSB extends Prolog with tabled resolution and HiLog.
Features
XSB is a compiled dialect of Prolog based on the Warren Abstract Machine.[1] Unlike systems derived from Quintus, XSB uses a module system based on Prolog atoms.[1] It features tabled resolution and supports the HiLog language (permitting limited higher-order logic programming).[1] Tabling enables XSB to implement the well-founded semantics[1] and makes it suitable as a deductive database engine.[2] The open source XSB implementation includes an interface to the Python programming language.[3]
History
XSB was originally developed at Stony Brook University by David S. Warren, Theresa Swift, and Kostis Sagonas and launched in 1993-4. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986, and it was the first implementation of tabled resolution.[1]
Syntax
XSB supports the ISO-mandated Prolog data typesTemplate:Broken anchor such as integers, floating point numbers, and atoms. Integers in XSB can be interpreted in multiple bases. By default integers are interpreted in base 10 but can be interpreted in a range of bases from 2 to 36.[4]
See also
References
Page Template:Reflist/styles.css has no content.
- ^ a b c d e Page Module:Citation/CS1/styles.css has no content.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. arXiv:2201.10816. doi:10.1017/S1471068422000102. ISSN 1471-0684.
- ^ Page Module:Citation/CS1/styles.css has no content.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.
- ^ Page Module:Citation/CS1/styles.css has no content.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, doi:10.1007/978-3-031-35254-6_8, ISBN 978-3-031-35253-9, retrieved 2023-11-14
{{citation}}: CS1 maint: work parameter with ISBN (link) - ^ Page Module:Citation/CS1/styles.css has no content.Swift, Theresa; Warren, David S. (13 May 2022). The XSB System Version 5.0.x Programmer's Manual.
Further reading
- Page Module:Citation/CS1/styles.css has no content.Warren, David (2020). Programming in Tabled Prolog (PDF) (Draft ed.).
- Page Module:Citation/CS1/styles.css has no content.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.
