Bine ați venit la B-Prolog, un sistem versatil și eficient constrângere programarea logică (CLP)! B-Prolog este adus la tine de Afany Software (New York), KLS (Tokyo), și NandaSoft (Nanjing).
nașterea CLP este o piatră de hotar în istoria de limbaje de programare. CLP combină două paradigme de programare declarative: de programare logică și rezolvarea constrângere. Natura declarativ sa dovedit a fi atrăgătoare în numeroase aplicații, inclusiv proiectare asistată de calculator și verificare, baze de date, data mining, inginerie software, optimizare, configurare, interfață grafică cu utilizatorul, și procesarea limbajului. Acesta îmbunătățește productivitatea de dezvoltare de software și software mentenabilitatea. În plus, din cauza disponibilitatea de eficiente constrângere de rezolvare, de management al memoriei, precum și tehnici de compilare, programe CLP poate fi mai eficient decât omologii lor scrise în limba de procedură.
Ce este nou în această versiune:
- Suport UTF-8.
- New construite-in-uri: getpid / 1, bp_current_resource / 1.
- bug fixat și îmbunătățiri:
Planner
între / 3.
scade / 3.
Multiplicare constrângere
Comentariile nu a fost găsit