GNU Prolog Sonlu etki alanları üzerinde kısıtlama ile ücretsiz prolog derleyici
Şimdi İndirin

GNU Prolog Sıralama ve Özet

GNU Prolog Etiketler

GNU Prolog Açıklama

GNU Prolog, sonlu alanlar üzerinde kısıtlama çözümü olan ücretsiz bir Prolog dereğidir. GNU Prolog, Prolog Kısıtlama programlarını kabul eder ve doğal ikili dosyalar üretir (GCC'nin bir C kaynağından yaptığı gibi). Elde edilen çalıştırılabilir daha sonra tek başına. Bu çalıştırılabilir beden, GNU Prologu, en kullanılmış yerleşik tahminlerin kodunu bağlamaktan kaçınabildiğinden oldukça küçük olabilir. GNU Prolog'un performansları çok cesaret vericidir. Yerel kod derlemesinin yanı sıra GNU Prolog, bir hata ayıklayıcı ile klasik bir etkileşimli tercüman (üst düzey) sunar. Prolog kısmı, pratikte birçok uzantılı Prolog için ISO standardına uygundur. GNU Prolog ayrıca sonlu etki alanları (FD) üzerinde verimli bir kısıtlama çözücü içerir. Bu, kısıtlama programlamanın gücünü mantık programlamasının bildirimine birleştiren kullanıcıya kontrent mantık programlamasını açar.

GNU Prolog İlgili Yazılım