| Sürüm | 1.4.3 |
|---|---|
| Yayımcı | Daniel Diaz |
| Yayın tarihi | 8 Nis 2013 |
| Ekleme Tarihi | 8 Nis 2013 |
| İşletim sistemi gereksinimleri | Windows, Windows 7 |
| Gereksinimler | None |
| Toplam indirme | 1.943 |
| Fiyat | Free |
Açıklama
GNU Prolog, sınırlı etki alanları üzerinde kısıtlama çözme özelliğine sahip ücretsiz bir Prolog derleyicisidir. GNU Prolog, kısıtlama programlarıyla Prolog'u kabul eder ve yerel ikili dosyalar üretir (gcc'nin bir C kaynağından yaptığı gibi). Elde edilen yürütülebilir dosya daha sonra bağımsızdır. Bu yürütülebilir dosyanın boyutu küçük olabilir, çünkü GNU Prolog kullanılmayan çoğu yerleşik yüklemin kodunun bağlanmasını önleyebilir. GNU Prolog'un performansları çok cesaret vericidir (ticari sistemlerle karşılaştırılabilir). Yerel kod derlemesinin yanı sıra GNU Prolog, hata ayıklayıcılı klasik bir yorumlayıcı (üst düzey) sunar.
Prolog bölümü, pratikte çok faydalı birçok uzantıyla (genel değişkenler, işletim sistemi arabirimi ve yuvalar) Prolog için ISO standardına uygundur. GNU Prolog ayrıca Sonlu Etki Alanları (FD) üzerinde etkili bir kısıtlama çözücü içerir. Bu, kısıt programlamanın gücünü mantıksal programlamanın bildirimselliği ile birleştirerek kullanıcıya kısıt mantık programlamasını açar. Özellikleri arasında Prolog için ISO standardına uygunluk, atomlar üzerinde tamamlanmış etkileşimli yorumlayıcı altında satır düzenleme olanağı, Prolog ve C arasında çift yönlü arayüz, bağımsız yürütülebilir dosyalar üreten yerel kod derleyici, çeşitli dosyaları kabul eden basit komut satırı derleyici, önceden tanımlanmış kısıtlamalar: aritmetik kısıtlamalar, Boole kısıtlamaları, sembolik kısıtlamalar ve somutlaştırılmış kısıtlamalar, önceden tanımlanmış numaralandırma buluşsal yöntemleri ve kullanıcı kendi yeni kısıtlamalarını tanımlayabilir.
