GNU Prolog sonlu etki üzerinde çözme kısıtlaması ile ücretsiz Prolog derleyici. GNU Prolog kısıtlama programları ile Prolog kabul ve (gcc C kaynağından yaptığı gibi) yerli ikili üretir. Elde edilen yürütülebilir daha sonra tek başına bir. GNU Prolog en kullanılmamış yerleşik yüklemler kodunu bağlama önleyebilirsiniz beri bu yürütülebilir boyutu küçük olabilir. GNU Prolog performansları çok cesaret verici (ticari sistemlere karşılaştırılabilir) vardır. Yerli-kod derleme yanında, GNU Prolog bir hata ayıklayıcı ile klasik bir tercüman (üst düzey) sunmaktadır.
Prolog parçası uygulamada çok yararlı birçok uzantıları ile Prolog ISO standardına uygundur (global değişkenler, OS arayüzü ve prizler). GNU Prolog da çözücü Sonlu Domains (FD) üzerinde etkili kısıtlama içerir. Bu mantık programlama declarativity için kısıt programlama gücünü birleştirerek kullanıcıya kısıtlama mantığı programlama açar. Özellikler Prolog ve C, yerli-kod derleyici başına yürütülebilir standı üreten, dosyaların çeşitli kabul basit bir komut satırı derleyici, önceden tanımlanmış arasındaki atomlar üzerinde tamamlanması, çift yönlü arayüzü ile interaktif tercüman altında Prolog için ISO standardı, hat düzenleme tesisi uyan, dahil kısıtlamalar:. aritmetik kısıtlar, Boole kısıtlamaları, sembolik kısıtlamaları ve somutlaştırılmış kısıtlamalar, önceden tanımlanmış sayım sezgiselleri ve kullanıcı kendi yeni kısıtlamalar tanımlayabilirsiniz
Yorum Bulunamadı