|Designed by||David S. Warren, Terrance Swift, Kostis Sagonas|
|Developer||XSB Research Group|
3.8 / 29 October 2017
|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 (a standard extension of Prolog permitting limited higher-order logic programming).
The open source XSB implementation includes an interface to the Java programming language.
XSB was originally developed at Stony Brook University by David S. Warren, Terrance Swift, and Kostis Sagonas. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986. It is a logic programming language.
Atoms are similar to Strings. They are a sequence of characters.
Edited: 2021-06-18 18:22:15