GNU Prolog (64-bit) Prologları kısıtlamalarla kabul edin ve sonlu alanlar üzerinden derleyin.
Şimdi İndirin

GNU Prolog (64-bit) Sıralama ve Özet

GNU Prolog (64-bit) Etiketler

GNU Prolog (64-bit) Açıklama

GNU Prolog, sonlu alanlar üzerinde kısıtlama çözümü olan ücretsiz bir Prolog dereğidir. GNU Prolog, Prologları kısıtlama programlarıyla kabul eder ve yerli ikili dosyalar üretir (GCC gibi bir C kaynağından yaptığı gibi). Elde edilen çalıştırılabilir daha sonra tek başına. Bu çalıştırılabilir boyutun büyüklüğü, GNU Prologu, en kullanılmış yerleşik tahminlerin kodunu bağlamadan kaçınabilir. GNU Prolog'un performansları çok cesaret vericidir (ticari sistemlerle karşılaştırılabilir). Yerel kod derlemesinin yanı sıra, GNU Prologu bir hata ayıklayıcısıyla klasik bir tercüman (üst düzey) sunar. Prolog kısmı, pratikte birçok uzantılı Prolog için ISO standardına uygundur (küresel değişkenler, İşletim sistemi arayüzü ve soketleri). 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 kısıtlama mantık programlamasını açar. Özellikler arasında Prolog için ISO standardına uygundur, interaktif tercüman, atomlar üzerinde tamamlanan, PROLOG ve C arasındaki çift yönlü arayüz, yerli kod derleyicisi, yerli kod derleyicisi, tek başına yürütülebilirler, önceden tanımlanmış basit komut satırı derleyicisi, önceden tanımlanmıştır. Kısıtlamalar: Aritmetik kısıtlamalar, Boolean kısıtlamaları, sembolik kısıtlamalar ve yeniden yapılandırılmış kısıtlamalar, önceden tanımlanmış sayım sezgisel ve kullanıcı kendi yeni kısıtlamalarını tanımlayabilir.

GNU Prolog (64-bit) İlgili Yazılım