英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字,中文词皆可:

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: .

(1993-07-28)


请选择你想看的字典辞典:
单词字典翻译
XSB查看 XSB 在百度字典中的解释百度英翻中〔查看〕
XSB查看 XSB 在Google字典中的解释Google英翻中〔查看〕
XSB查看 XSB 在Yahoo字典中的解释Yahoo英翻中〔查看〕





安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:







中文字典-英文字典  2005-2009