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