XSB

From Wikipedia, the free encyclopedia

You have new messages (last change).

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.

Originally, XSB was an extended version of SB Prolog, developed at Stony Brook. It was initially called XSB Prolog, but its developers decided to drop the Prolog in the name.

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.

[edit] External links

Retrieved from "http://en.wikipedia.org../../../x/s/b/XSB_7b46.html"