B-prolog Darwim için harika bir prolog dereği.
Şimdi İndirin

B-prolog Sıralama ve Özet

B-prolog Etiketler

geliştirici Geliştirici Yardımı Prolog Derleyici mantıksal programlama yardım prolog

B-prolog Açıklama

Darwim için harika bir prolog derleyici. B-Prolog çok yönlü ve gerçekten verimli bir kısıtlama mantığı programlama (CLP) sistemidir! B-Prolog, Afany Software (New York), KLS (TOKYO) ve NANDASOFT (NANJING) tarafından size getiriliyor. CLP'nin doğumu, programlama dillerinin tarihinde bir dönüm noktasıdır. CLP, iki bildirim programlama paradigmasını birleştirir: mantık programlama ve kısıtlama çözümü. Deklaratif doğa, bilgisayar destekli tasarım ve doğrulama, veritabanı, veri madenciliği, yazılım mühendisliği, optimizasyon, yapılandırma, grafiksel kullanıcı arayüzü ve dil işleme dahil olmak üzere sayısız uygulamada çekici geldi. B-Prolog hedeflerinden biri, yazılımın korunabilirliği ve geliştirilmesinin verimliliğini arttırmaktır. . Bu sürümde yenilikler: · Masa kısıtlamaları. Bir tablo veya uzatma kısıtlaması pozitif veya negatiftir. Pozitif bir kısıtlama, 'X'teki x' x formunu alır ve negatif bir kısıtlama, X'in bir tuple değişkenleri (X1, ..., XN) veya değişkenlerin tuples listesinin bir listesidir. .., x1n), ..., (xm1, ..., xmn)] ve R ve R, her bir tuple'ın formu (A1, ..., AN) aldığı bir tamsayılı tuples kümesi olarak tanımlanan bir tablodır. · Tablo modlarının desteği. Bir masa beyanı formu alır ': -Table P (M1, ..., MN): n.' P / N bir tahmin olduğu yer, MI bir moddur ('min', 'max', ',', '-', 'ya da'? ',', ',' - 'veya'? ') ve N, cevapların sayısının bir sınırıdır. tablalı. Sınır verilmezse, yalnızca bir cevabın yalnızca bir cevabın yapıldığı varsayılmaktadır. · Yedim yerleşik: foreach (yineleyici, localvars, hedef) ve foreach (yineleyici, localvars, akümülatörler, hedef) · Yeni küresel kısıtlamalar: post_neq / 1 ve post_disjunctive_tasks / 1. · Zaman olayları öncelikli olarak ele alınır. · İkili eşitlik kısıtlamaları daha da uzmanlaşmıştır. · Eklenen Global Kısıtlamalar: Serileştirilmiş / 2, Atama / 2 ve Atama0 / 2. · Boole kısıtlamalarında 'var d' ve 'Var NOTIN D' ortaya çıkabilir. · Bilinmeyen bayrak tekrar çalışır. · Call_Cleanup / 2'nin geliştirilmiş versiyonu. · Derleyicide bir hata düzeltme. · GLPK arayüzünde bir hata düzeltme.

B-prolog İlgili Yazılım