GNU Prolog (32-bit)

軟件截圖:
GNU Prolog (32-bit)
軟件詳細信息:
版本: 1.4.3
上傳日期: 23 Jan 15
開發: Daniel Diaz
許可: 免費
人氣: 151
尺寸: 4592 Kb

Rating: 1.0/5 (Total Votes: 2)

序言GNU是一個免費的Prolog編譯器與約束求解在有限域。 GNU Prolog語言Prolog的接受與約束方案,並產生本機二進制文件(如GCC並從C源代碼)。所獲得的可執行文件,然後獨立。該可執行文件的大小可以小,因為GNU Prolog的可避免將大部分未使用內部謂詞的代碼。 GNU的Prolog的表現非常令人鼓舞(相當於商業系統)。旁邊的本機代碼編譯,GNU的Prolog提供了一個經典的解釋(頂層)與調試。

序言部分符合的Prolog的許多擴展在實踐中是非常有用的ISO標準(全局變量, OS接口和插座)。 GNU Prolog的還包括解算器在有限域(FD)的有效約束。這將打開約束邏輯編程,以約束編程的力量相結合,邏輯編程的declarativity用戶。其特點包括符合的序言根據與序言和C,本機代碼編譯器生成獨立的可執行文件,簡單的命令行編譯器接受各種文件,預定義的完成對原子,雙向接口的交互式解釋的ISO標準,在線編輯工具限制:算術約束,布爾約束的,象徵性的約束和具體化的約束,預定義的枚舉啟發式,以及用戶可以定義自己的新的限制

支持的操作系統

類似的軟件

顯影劑的其他軟件 Daniel Diaz

意見 GNU Prolog (32-bit)

評論沒有發現
添加評論
打開圖片!