XSB

Website: Sourceforge.net

Proiectat de: David S. Warren, Terrance Swift, Kostis Sagonas

XSB este numele unui dialect al limbajului de programare Prolog și implementarea sa dezvoltat la Stony Brook University, în colaborare cu Katholieke Universiteit Leuven, New University of Lisabona, Uppsala University and Software furnizor XSB, Inc.

XSB extinde Prolog cu rezoluție depusă și rezoluție și rezoluție depusă și Hilog.

Implementarea Open Source XSB include o interfață la limbajul de programare Java.