Babylon NG
The world's best online dictionary

Download it's free

Definition of Xsb

Xsb Definition from Language, Idioms & Slang Dictionaries & Glossaries
hEnglish - advanced version

xsb
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
barrier single unit
  
Source: U.S. Department of Defense, Joint Doctrine Division. ( About )
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...
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License