B-Prolog, çok yönlü ve verimli bir kısıt mantık programlama (CLP) sistemine hoş geldiniz! B-Prolog Afany Yazılımı (New York), KLS (Tokyo), ve NandaSoft (Nanjing) tarafından getirilen ediliyor.
CLP doğum programlama dilleri tarihinin bir dönüm noktasıdır. Mantık programlama ve kısıt çözme: CLP iki bildirime programlama paradigmaları birleştirir. bildirime doğa bilgisayar destekli tasarım ve doğrulama, veri tabanı, veri madenciliği, yazılım mühendisliği, optimizasyon, yapılandırma, grafik kullanıcı arayüzü ve dil işleme dahil olmak üzere çeşitli uygulamalarda çekici kanıtlamıştır. Büyük ölçüde yazılım geliştirme ve yazılım Düzeltilebilirlik verimliliğini artırır. Buna ek olarak, çünkü verimli kısıt çözme, bellek yönetimi ve derleme teknikleri kullanılabilirliği, CLP programları kendi muadilleri usul dillerde yazılmış daha verimli olabilir.
- Destek UTF-8.
- Yeni gömmeler: / 1, bp_current_resource / 1 getpid.
- Hata düzeltmeleri ve iyileştirmeler:
Planlayıcısı
/ '3 arasında yer almaktadır.
, / 3 çıkarma.
Çarpma kısıtlama
Yorum Bulunamadı