GNU Prolog 1.5
İndir
Ücretsiz  

GNU Prolog 1.5

Ücretsiz Kısıtlama sonlu alan üzerinde çözme ile ücretsiz Prolog derleyici
4.5 
Rating
Oyunuz:
En güncel sürüm:
1.5.0 Tüm
Geliştirici:
Screenshots
1 / 3
Ödüller (1)
Show all awards
Software Informer Virus Free award
İndir
Ücretsiz  

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

4.5
Rating
4 votes
5 stars
3
4 stars
0
3 stars
1
2 stars
0
1 stars
0
User

Oyunuz: