SWI-Prolog匯編語(yǔ)言編譯器

SWI-Prolog 提供一個(gè)免費(fèi)的 Prolog 編程語(yǔ)言環(huán)境。包括一個(gè)圖形化工具包 XPCE 。該項(xiàng)目 1987 年開(kāi)始開(kāi)發(fā)，在研究和教育領(lǐng)域中廣泛使用。

SWI-Prolog offers a comprehensive Free Software Prolog environmen,Prolog（Programming in Logic的縮寫(xiě)）是一種邏輯編程語(yǔ)言。它建立在邏輯學(xué)的理論基礎(chǔ)之上， 最初被運(yùn)用于自然語(yǔ)言等研究領(lǐng)域�，F(xiàn)在它已廣泛的應(yīng)用在人工智能的研究中，它可以用來(lái)建造專(zhuān)家系統(tǒng)、自然語(yǔ)言理解、智能知識(shí)庫(kù)等。同時(shí)它對(duì)一些通常的應(yīng)用程序的編寫(xiě)也很有幫助。使用它能夠比其他的語(yǔ)言更快速地開(kāi)發(fā)程序，因?yàn)樗�的編程方法更象是使用邏輯的語(yǔ)言來(lái)描述程序。

運(yùn)行速度要比amzi prolog的解釋器快，和amzi的編譯之后的程序差不多快，如果下載圖形軟件包XPCE的話(huà)，還可以開(kāi)發(fā)有界面的程序。它的語(yǔ)法和amzi prolog相同，程序可以通用，不過(guò)內(nèi)部謂詞有些不同，有時(shí)候需要修改一下。

軟件特點(diǎn)：

內(nèi)核受LGPL許可證。Prolog庫(kù)分布在GPL下額外的聲明,允許使用專(zhuān)有應(yīng)用程序。許可證頁(yè)面上可以找到的細(xì)節(jié)。
快速編譯。如。,加載140000行代碼分布在500年2.3秒source-files AMD 5400 +系統(tǒng)。
內(nèi)存泄漏的健壯和自由。在使用多個(gè)服務(wù)器運(yùn)行24 x7(包括web服務(wù))。
小。完整的開(kāi)發(fā)環(huán)境,包括圖形、圖書(shū)館和很多接口包需要約。
對(duì)于大型應(yīng)用程序。沒(méi)有限制項(xiàng)目大小、atom-length term-arity或整型值。沒(méi)有性能下降謂詞與許多(索引)的事實(shí)。
無(wú)限的整數(shù),有理數(shù)運(yùn)算基于GMP圖書(shū)館。
全面的內(nèi)置的謂詞,覆蓋了實(shí)際ISO標(biāo)準(zhǔn)的第1部分中,愛(ài)丁堡Prolog標(biāo)準(zhǔn)和第五名的重要部分和SICStus序言。公平的兼容性小貝,YAP GNU-Prolog。
和更多的