XSB
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.
Q163468
Prolog
Concept
Q9143
programming language
Concept
Q969850
Stony Brook University
LOC
Q833670
Katholieke Universiteit Leuven
ORG
Q1979891
New University of Lisbon
ORG
Q185246
Uppsala University
LOC
Q1058914
software vendor
Concept
Q1376168
tabled
Concept
Q1051925
resolution
Concept
Q17029831
HiLog
ORG
Q275603
higher-order logic programming
Concept
Q3644502
open source
UNK
Q4392311
interface
Concept
Q251
Java programming language
Concept
Q8042469
XSB
MEDIA
Q8042469
XSB
MEDIA
Q8042469
XSB
MEDIA
Q8042469
XSB
MEDIA
instance of
programming paradigm
instance of
instance of
instance of
programming paradigm
instance of
programming paradigm