XSB

XSB
ParadigmLogic Programming
Designed byDavid S. Warren, Terrance Swift, Kostis Sagonas
Stable release
5.0 / 12 May 2022; 2 years ago (2022-05-12)
OSCross-platform
Filename extensions.P
WebsiteSourceforge.net
Influenced by
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.