XSB is the name of a dialect of the Prolog

Prolog

Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...

 programming language

Programming language

A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....

 and its implementation developed at Stony Brook University

State University of New York at Stony Brook

The State University of New York at Stony Brook, also known as Stony Brook University, is a public research university located in Stony Brook, New York, on the North Shore of Long Island, about east of Manhattan....

 in collaboration with the Katholieke Universiteit Leuven

Katholieke Universiteit Leuven

The Katholieke Universiteit Leuven is a Dutch-speaking university in Flanders, Belgium.It is located at the centre of the historic town of Leuven, and is a prominent part of the city, home to the university since 1425...

, the New University of Lisbon

New University of Lisbon

Universidade NOVA de Lisboa, , also known as NOVA ) was established in 1973 and is the youngest of the three public universities of Lisbon, in Portugal....

, Uppsala University

Uppsala University

Uppsala University is a research university in Uppsala, Sweden, and is the oldest university in Scandinavia, founded in 1477. It consistently ranks among the best universities in Northern Europe in international rankings and is generally considered one of the most prestigious institutions of...

 and software vendor XSB, Inc.

Originally, XSB was an extended version of SB Prolog

Prolog

Prolog is a general purpose logic programming language associated with artificial intelligence and computational linguistics.Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of...

, 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

Memoization

In computing, memoization is an optimization technique used primarily to speed up computer programs by having function calls avoid repeating the calculation of results for previously processed inputs...

 resolution

Resolution (logic)

In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic...

 and HiLog (a standard extension of Prolog permitting limited higher-order

Higher-order logic

In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and a stronger semantics...

 logic programming

Logic programming

Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...

).

The open source

Open source

The term open source describes practices in production and development that promote access to the end product's source materials. Some consider open source a philosophy, others consider it a pragmatic methodology...

 XSB implementation includes an interface to the Java programming language

Java (programming language)

Java is a programming language originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities...

.

External links

• XSB
• XSB technical summary
• Programming in Tabled Prolog: draft of a book about XSB Prolog programming by David S. Warren of Stony Brook University