Xsb



xsb
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), doc-mentation
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)

Read Also:

  • xsd

    xsd xml schema definition

  • xsu

    xsu cross strap unit

  • xtp

    xtp xanthosine 5c-triphosphate

  • xtp-forum

    xtp forum body a consortium of for- and non-profit companies and research organisations promoting xpress transport protocol. xtp forum home (http://ca.sandia.gov/xtp/forum.html). (2003-03-22)

  • xtr

    xtr extra


Disclaimer: Xsb definition / meaning 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. All content on this website is for informational purposes only.