翻訳と辞書 Words near each other ・ Xtravaganza ・ Xtraview ・ Xtraview Encryption System ・ Xtreamer ・ XtreamLok ・ XTree ・ Xtreem Music ・ XtreemFS ・ XtreemOS ・ XS-1 (spacecraft) ・ XS1 ・ Xs3p ・ XS4ALL ・ XSA ・ Xsan ・ XSB ・ XSC ・ XScale ・ Xscape ・ Xscape (album) ・ Xscape (building) ・ Xscape (group) ・ Xscape discography ・ XScope ・ XScreenSaver ・ XSDTRK ・ Xseed education ・ XSEL ・ Xsens ・ Xseries Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク XSB ： ウィキペディア英語版 XSB XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc. XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming). The open source XSB implementation includes an interface to the Java programming language. ==History== XSB was originally developed at Stony Brook University by David S. Warren, Terrance Swift, and Kostis Sagonas. It was based on the SB-Prolog language that was also developed at Stony Brook University in 1986.〔http://www.cs.sunysb.edu/~sbprolog/manual/manual1.pdf〕〔http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html〕 It is a logic programming language. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「XSB」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.