GNU Prolog kısıtlaması Daniel Diaz tarafından geliştirilen sonlu alan üzerinde çözme ile ücretsiz Prolog derleyici. GNU Prolog Giriş kısıtlaması programları kabul eder ve (gcc C bir kaynaktan geliyor gibi) yerel ikili oluşturur. Elde edilen çalıştırılabilir sonra tek başına.
Bu yürütülebilir dosya boyutu GNU Prolog oldukça küçük olabilir, fiilleri yerleşik en kullanılmayan kodu bağlantı kaçının. # #6f4ac922414ba92a207edea1a456fd7f performansları ticari sistemlere (benzer) çok ümit verici. Yerel kod derleme, #6f4ac922414ba92a207edea1a456fd7f yanında# bir hata ayıklayıcı (üst düzey) klasik interaktif bir tercüman bulunmaktadır.
Giriş kısmı ISO standardı (global değişkenler, OS arayüzü, yuva) uygulamada çok yararlı birçok uzantıları ile Giriş için uygundur.*# 6f4ac922414ba92a207edea1a456fd7f da (FD) Sonlu Etki alanları üzerinde etkin bir kısıtlama bir çözücü içerir. Bu mantık programlama declarativity için kısıt programlama gücünü birleştirerek kullanıcıya programlama contraint mantık açılır.
Ana özellikleri:
- Giriş sistemi:
- (kayan nokta numaraları, akarsu, dinamik kod) Giriş için ISO standardına uygundur.
- uzantıları (DCG): genel değişkenler, kesin tümcesi gramer, bir sürü yuva arabirimi, işletim sistemi arayüzü
- 300'den fazla Giriş doğrulamaları yerleşik.
- Giriş hata ayıklayıcı ve düşük düzey: hata ayıklayıcı.
- atomlar üzerinde tamamlanması ile etkileşimli yorumlayıcı altında tesis düzenleme hattı.
Prolog ve C arasında güçlü iki yönlü arayüz
- Derleyici:
- yalnız yerel kod derleyici üreten stand yürütülebilir.
- dosyalarını geniş bir yelpazede kabul basit bir komut satırı derleyici: Giriş dosyaları, C dosyaları: dosyaları,...
wamcc gcc göre 15 kat daha hızlı montaj kodu doğrudan nesil.
- doğrulamaları yerleşik kullanılmayan çoğu (yürütülebilir dosya boyutunu azaltmak için) bağlantılı değildir.
- wamcc kadar hızlı (yerel kod) derlenmiş doğrulamaları ortalama.
wamcc daha - (byte-code) istişare doğrulamaları 5 kat daha hızlı.
- Kısıtlama çözücü:
- FD iyi Prolog değişkenler ve tam sayılar (tam uyumlu) Giriş çevre entegre değişkenler. Açık FD tanımlamalar gerek yok.
- çok verimli FD çözücü (karşılaştırılabilir ticari çözücüler).
- üst düzey kısıtlamaları basit temel açısından tarif edilebilir.
- önceden tanımlanmış çok sınırlamaları: aritmetik kısıtlamaları, Boole kısıtlamaları, sembolik kısıtlamaları, somutlaşan kısıtlamaları,...
- birçok önceden tanımlanmış numaralandırma sezgisel.
- kullanıcı kendi yeni kısıtlamalar onun tanımlayabilir.
- yerleşik kısıtlamaları 50'den fazla FD ifade eder.
Yorumlar