meaning of xref
1. xref /Xref/ 1. cross-reference. 2. A cross-reference generator tool by Jim Leinweber. 1985? [Jargon File] XRemote A serial line protocol for the X Window System. XRN A newsreader program for Usenet news running under the X Window System. 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, preprocessorHiLog, documentation XSB research group / SUNY at Stony Brook ftp://sbcs. sunysb. edu/pub/XSB/XSB. tar. Z. 130. 245. 1. 15 E-mail:
Related Words
xref |
