- XSB
Refimprove date July 2011 Notability date July 2011 XSB is the name of a dialect of the Prolog programming language and its implementation developed at State University of New York at Stony Brook Stony Brook University in collaboration with the Katholieke Universiteit Leuven , the New University of Lisbon , Uppsala University and software company 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 memoization tabled Resolution logic resolution and HiLog a standard extension of Prolog permitting limited higher order logic higher order logic programming . The open source XSB implementation includes an foreign function call interface to the Java programming language Java programming language . External links http xsb.sourceforge.net XSB http xsb.sourceforge.net about.html XSB technical summary http www.cs.sunysb.edu warren xsbbook Programming in Tabled Prolog draft of a book about XSB Prolog programming by David S. Warren of Stony Brook University Category Logic programming languages ... more details
|
Encyclopedia
top
