GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit), sonlu etki alanları üzerinde kısıtlama çözme sunan güçlü ve ücretsiz bir Prolog derleyicisidir. Bu yazılım, kolaylıkla karmaşık programlar oluşturması gereken geliştiriciler için tasarlanmıştır. GNU Prolog, kısıtlama programlarıyla Prolog'u kabul eder ve tıpkı gcc'nin bir C kaynağından yaptığı gibi yerel ikili dosyalar üretir. Elde edilen yürütülebilir dosya daha sonra bağımsızdır, yani herhangi bir bilgisayarda ek yazılım veya kitaplıklara ihtiyaç duymadan çalışabilir.

GNU Prolog'un en önemli avantajlarından biri küçük boyutudur. Bu yazılım, kullanılmayan yerleşik yüklemlerin çoğunun kodunu bağlamaktan kaçınabileceğinden, yürütülebilir dosyanın boyutu çok küçük olabilir. Bu, onu, kullanıcıların bilgisayarlarında fazla yer kaplamayan hafif uygulamalar oluşturmak isteyen geliştiriciler için ideal hale getirir.

GNU Prolog'un performansları da çok cesaret verici ve ticari sistemlerle kıyaslanabilir. Bu, her kullandığınızda hızlı ve verimli sonuçlar vermesi için bu yazılıma güvenebileceğiniz anlamına gelir.

Yerel kod derlemesinin yanı sıra GNU Prolog, hata ayıklayıcılı klasik bir yorumlayıcı (üst düzey) sunar. Tercüman, kodunuzu etkileşimli olarak test etmenize ve geliştirme sırasında ortaya çıkan sorunları ayıklamanıza olanak tanır.

Prolog bölümü, pratikte çok yararlı olan birçok uzantıyla (global değişkenler, işletim sistemi arabirimi ve soketler) Prolog için ISO standardına uygundur. Bu, her kullandığınızda güvenilir sonuçlar vermesi için bu yazılıma güvenebileceğiniz anlamına gelir.

GNU Prolog ayrıca Sonlu Etki Alanları (FD) üzerinde etkili bir kısıtlama çözücü içerir. Bu, kısıtlama programlamanın gücünü mantık programlamanın bildirimselliğiyle birleştiren kullanıcıya kısıtlama mantığı programlamasını açar.

Özellikler:

- Prolog için ISO standardına uygundur

- Etkileşimli tercüman altında atomlar üzerinde tamamlama ile hat düzenleme tesisi

- Prolog ve C arasında çift yönlü arabirim

- Bağımsız yürütülebilir dosyalar üreten yerel kod derleyici

- Çeşitli dosyaları kabul eden basit komut satırı derleyicisi

- Önceden tanımlanmış kısıtlamalar: aritmetik kısıtlamalar, Boole kısıtlamaları, sembolik kısıtlamalar, şeyleştirilmiş kısıtlamalar.

- Önceden tanımlanmış numaralandırma buluşsal yöntemi.

- Kullanıcı tanımlı yeni kısıtlamalar

Özetle:

Sınırlı alanlar üzerinde kısıtlama çözme özelliğine sahip, güçlü ancak ücretsiz bir önsöz derleyicisi arıyorsanız, o zaman GNU önsöz 32-bit'ten başkasına bakmayın! Sezgisel bir kullanıcı arabirimi ile bir araya gelen küçük boyutlu ancak etkileyici performans yetenekleri, bu programı yalnızca yeni başlayanlar için değil, aynı zamanda deneyimli programcılar için de mükemmel kılar!