xsb

Computing Dictionary

XSB definition

logic programming
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.
Version 1.2
ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
portability: Generally to 32-bit machines.
interpreter, preprocessor(HiLog), documentation
XSB research group / SUNY at Stony Brook
(ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z).
(130.245.1.15) E-mail: .
(1993-07-28)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: xs
Next Definition: xscheme
Words Near: xsb
More from Thesaurus.com
Synonyms and Antonyms for xsb
More from Reference.com
Search for articles containing xsb
More from Dictionary.com Translator
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Related Searches
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature