翻訳と辞書 Words near each other ・ xpercase ・ xpg ・ xpg3 ・ xpl ・ xpm ・ xpop ・ xpress transport protocol ・ xref ・ xremote ・ xrn ・ xsb ・ xscheme ・ xsd ・ xsi ・ xsl ・ xslt ・ xt ・ xt bus architecture ・ xterm ・ xti Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク xsb ： FOLDOC 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) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.