Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,810,007,398 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

XSB

   Also found in: Acronyms, Wikipedia 0.04 sec.
(logic programming)XSB - 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: <xsb-contact@cs.sunysb.edu>.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
 
In that role he led the members of the XSB in developing prioritization of projects, a documented technical roadmap, documented Processes and Procedures for instituting XII working groups and restructured XII Working Groups for more efficient and project-oriented results based on market requirements and resource availability.
XBRL International, Inc Announces Michael Ohata, Director of ... by Business Wire
In that role he led the members of the XSB in developing prioritization of projects, a documented technical roadmap, documented Processes and Procedures for instituting XII working groups and restructured XII Working Groups for more efficient and project-oriented results based on market requirements and resource availability.
XBRL International, Inc Announces Michael Ohata, Director of ... by Business Wire
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.