Loading AI tools
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.
| Paradigm | Logic Programming |
|---|---|
| Designed by | David S. Warren, Terrance Swift, Kostis Sagonas |
| Stable release | 5.0
/ 12 May 2022 |
| OS | Cross-platform |
| Filename extensions | .P |
| Website | Sourceforge.net |
| Influenced by | |
| Prolog, PSB-Prolog, SB-Prolog | |
XSB extends Prolog with tabled resolution and HiLog.
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]
XSB was originally developed at Stony Brook University by David S. Warren, Terrance 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]
XSB supports the ISO-mandated Prolog data types 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]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
