SWI-PROLOG PORTABLE SWI-Prolog, Lesser GNU Public Lisansı'na lisanslanan kapsamlı bir ücretsiz yazılım Prolog ortamı sunmaktadır. Grafik Toolkit XPCE ile birlikte, gelişimi 1987'de başladı ve
Şimdi İndirin

SWI-PROLOG PORTABLE Sıralama ve Özet

SWI-PROLOG PORTABLE Etiketler

SWI-PROLOG PORTABLE Açıklama

Lesser GNU Kamu Lisansı altında lisanslı Kapsamlı Ücretsiz Yazılım Prolog ortamında, SWI-Prolog Lesser GNU Kamu Lisansı altında lisanslı kapsamlı Ücretsiz Yazılım Prolog ortamı sunmaktadır. onun grafik XPCE Toolkit ile birlikte, gelişimi 1987 yılında başlamış ve gerçek dünya uygulamaları için ihtiyaçları tarafından tahrik edilmiştir. Bu gün SWI-Prolog yaygın araştırma ve eğitimde hem de ticari uygulamalar için kullanılır. SWI-Prolog en önemli özellikleri şunlardır: * Çekirdek LGPL altında lisanslı. Prolog kütüphaneleri özel uygulamalarda kullanılmak üzere izin veren ek bir ifade ile GPL dağıtılır. Detaylar lisans sayfasından bulunabilir. * Hızlı derleme. Ör yükler bir AMD 5400+ sistemde 2.3 saniyede 500 kaynak dosyaları üzerinde kod yayılmış 140,000 satır. * Sağlam ve hafıza sızıntıları ücretsiz. çalışma 24x7 (bu web hizmeti dahil) çeşitli sunucular için kullanımda. * Küçük. grafik, kütüphaneler ve birçok arayüz paketleri dahil olmak üzere tam geliştirme ortamı, yaklaşık gerektirir. 40MB harddisk. grafik olmayan çekirdek grafik kütüphanesi görüntüye 1.2MB ilgili ekler 650KB hakkındadır. * Büyük uygulamalar için iyi Scales. Program boyutu, atomu uzunluğu, dönem Arity veya tamsayı değerlerine Resim sınırlar. Birçok (endeksli) gerçeklerle yüklemleri yok performans bozulması. * Büyük ölçüde sayısız maddeli çok moded ilişkileri idare basitleştirir herhangi argüman hem statik ve dinamik kod Just-In-Time endeksleme. * Sınırsız tamsayı ve GMP kütüphanesine dayalı rasyonel sayı aritmetik. * Kapsamlı seti yerleşik ISO standardının Part 1 kaplayan yüklemler, fiili Edinburg Prolog Standart ve Quintus ve SICStus Prolog'un önemli parçaları. Çav, YAP ve GNU'ya Prolog Fair uyumluluğu. * Esnek ve C- ve C ++ hızlı arayüz - Dil. arayüz, hem-yollar arayarak olmayan determinizm her iki yönde ele ve C / C ++ projelerde SWI-Prolog çekirdek gömmek için izin verir. * İlgi çekici yenilikler: (Quintus ve SICStus yukarı doğru uyumlu) modülleri, çöp toplama - son çağrı optimizasyonu, çalışma zamanı yığınlarının Dinamik genişlemesi (C / C ++ şeffaf atom çöp toplama dahil kodu,), ISO istisna yönetim (dahil ) alıcı ve istisnalar atmak için C / C ++ arayüzü. * Tüm platformlarda Kaynak-katman hata olduğunu XPCE (Windows, Unix / Linux, MacOSX) üzerinden destekler grafikler. * Yürütme profilci (zaman ve çağrı istatistikleri) Linux, Unix platformları ve Windows NT / 2000 / XP / Vista için. * Çapraz referencer. gxref / 0 uzayabilir Prolog çapraz referencer (xref) için bir grafik ön uç sağlar. * Hemen hemen tüm Unix / Linux (64-bit sürümleri dahil NT / 2000 / XP / Vista,) platformları, Windows, MacOS X (grafikler için X11 kullanarak) ve daha bir çok dahil birçok platformlara taşınabilir. Her ikisi de, 32-bit, 64-bit donanım desteklenmektedir. Kaynakları (configure, make make install) otomatik olarak GNU autoconf'u kullanılarak yapılandırılmış düz C99, vardır. * UNICODE karakter iç taşıma ayarlayın. web-ve uluslararası uygulamalar için idealdir. * Makine bağımsız kaydedilen-devletler (tek platformda tasarrufu başka platformun sanal makine kullanılarak çalıştırın). * Multi-Threading desteği: Aynı veritabanı üzerinde birden ön emptively planlanan prolog motorları çalıştırın. * Atfedilen değişkenler, coroutining (dondurma / 2/2, dif / 2), global değişkenler siklik şartlar. * Current_prolog_flag / 2 'ye bakınız oluşur kontrol eder (doğru / yanlış / hata) taşınması Flag-kontrol edilir. * Kısıtlama Mantık, programlama (Kısıtlama Kuralları Taşıma) CHR kütüphaneleri temin CLP (FD), CLP (R, S) ve çeşitli diğerleri. * Paketleri kontrol vb Java (JPL), ODBC, TCP / IP yuvaları, SSL, CGI formu tutulması için bu arayüz kütüphaneleri ile Birlikte. Kapsamlı kütüphaneleri ile * Çok dişli Web sunucusu kütüphane HTML, HTTP yetkilendirme, oturum yönetimi, JSON alışverişi (birçok AJAX widget tarafından kullanılır), vb üretmek için * RDF, mağaza ve sorgu RDF üçlü modeli ayrıştırma, SGML / XML (HTML) ayrıştırma için hızlı ve esnek kütüphaneler. Triple20 adı RDF / RDFS OWL modelleri için bir grafik düzenleyici ayrı dağıtılır. * PlDoc yoluyla Okur programlama desteği. Manuel ve uygulama dokümantasyon ve uygulamanız için LaTeX belgeleri üreten entegre bir bakış sunar. * PlUnit aracılığıyla test birimi desteği. * Windows (32/64 bit) ve MacOS X (64 bit)) için düzenli ikili dağılımları.

SWI-PROLOG PORTABLE İlgili Yazılım