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 . 
<triplet> XSB <subj> programming language <obj> instance of <triplet> Prolog <subj> programming language <obj> instance of <triplet> XSB <subj> programming language <obj> instance of