XSB is the name of a dialect of the Prolog programming language. XSB extends Prolog with tabled resolution and HiLog. - View it on GitHub