軟件截圖:
序言GNU是一個免費的Prolog編譯器與約束求解在有限域。 GNU Prolog語言Prolog的接受與約束方案，並產生本機二進制文件（如GCC並從C源代碼）。所獲得的可執行文件，然後獨立。該可執行文件的大小可以小，因為GNU Prolog的可避免將大部分未使用內部謂詞的代碼。 GNU的Prolog的表現非常令人鼓舞（相當於商業系統）。旁邊的本機代碼編譯，GNU的Prolog提供了一個經典的解釋（頂層）與調試。
序言部分符合的Prolog的許多擴展在實踐中是非常有用的ISO標準（全局變量， OS接口和插座）。 GNU Prolog的還包括解算器在有限域（FD）的有效約束。這將打開約束邏輯編程，以約束編程的力量相結合，邏輯編程的declarativity用戶。其特點包括符合的序言根據與序言和C，本機代碼編譯器生成獨立的可執行文件，簡單的命令行編譯器接受各種文件，預定義的完成對原子，雙向接口的交互式解釋的ISO標準，在線編輯工具限制：算術約束，布爾約束的，象徵性的約束和具體化的約束，預定義的枚舉啟發式，以及用戶可以定義自己的新的限制
評論沒有發現