Sveiki atvykę į B-Prolog, universalus ir efektyvus apribojimas logika programavimo (CLP) sistemos! B-Prolog yra davė jums Afany Programinė įranga (Niujorkas), KLS (Tokyo), ir NandaSoft (Nanjing).
CLP gimimas yra į programavimo kalbų istorijos etapas. CLP jungia du deklaratyvi programavimo paradigmas: logika programavimo ir suvaržymas sprendimo. Deklaratyvaus pobūdžio įrodė patraukli daugelyje taikomųjų programų, įskaitant kompiuterinio projektavimo ir tikrinimo, duomenų bazės, duomenų gavybos, programinės įrangos inžinerijos, optimizavimas, konfigūracijos, grafinė vartotojo sąsaja, ir kalbos apdorojimo. Tai labai padidina programinės įrangos tobulinimo ir programinės įrangos palaikomumo produktyvumą. Be to, dėl to, kad efektyviai apribojimų sprendimui, atminties valdymo ir duomenų rinkimo metodų prieinamumą, CLP programos gali būti efektyvesnis nei jų kolegos parašyta procedūrinėmis kalbomis.
Kas naujo šioje versijoje:
- Pagalba UTF-8.
- Nauja built-in: getpid / 1, bp_current_resource / 1.
- Klaidų pataisymai ir patobulinimai:
planuoklis
tarp / 3.
atimkite / 3.
Sklaidos apribojimas
Komentarai nerastas