请输入您要查询的英文单词:

 

单词 xsb
释义

XSB


XSB

(logic programming)XSB extends the standard functionality ofProlog (being a descendant of PSB- and SB-Prolog) to includeimplementations of OLDT (tabling) and HiLog terms. OLDTresolution is extremely useful for recursive querycomputation, allowing programs to terminate correctly in manycases where Prolog does not. HiLog supports a type ofhigher-order programming in which predicate symbols can bevariable or structured. This allows unification to beperformed on the predicate symbols themselves in addition tothe arguments of the predicates. Of course, Tabling and HiLogcan 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


AcronymDefinition
XSBXtensible Shopping Bag (software)
XSBBarrier Single Unit
XSBeXtended System Bus
XSBExtended Stony Brook (Prolog ; logic programming language)
随便看

 

英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/4 7:44:13