SWI-Prolog匯編語言編譯器

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

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

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

軟件特點：

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