Definition of Xsb
Get Babylon's Dictionary & Translation Software Free Download Now!
Xsb Definition from Language, Idioms & Slang Dictionaries & Glossaries
hEnglish - advanced version
extends the standard functionality of prolog (being a descendant of psb- and sb-prolog) to include implementations of oldt (tabling) and hilog terms. oldt resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where prolog does not. hilog supports a type of higher-order programming in which predicate symbols can be variable or structured. this allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. of course, tabling and hilog can be used together.
Xsb Definition from Government Dictionaries & Glossaries
DOD Joint Acronyms and Abbreviations
Xsb Definition from Encyclopedia Dictionaries & Glossaries
English Wikipedia - The Free Encyclopedia
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.
|See more at Wikipedia.org...|