Tervetuloa B-Prolog, monipuolinen ja tehokas rajoite logiikan ohjelmointi (CLP) järjestelmä! B-Prolog on tuonut sinulle Afany Software (New York), KLS (Tokio), ja NandaSoft (Nanjing).
syntymän CLP on virstanpylväs ohjelmointikielten. CLP yhdistää kaksi julistava ohjelmointiparadigmoista: logiikkaohjelmoinnin ja rajoite ratkaisemiseen. Toteavana on osoittautunut houkuttelevalta lukuisissa sovelluksissa kuten tietokoneavusteinen suunnittelu ja todentaminen, tietokanta, tiedon louhinta, ohjelmistotuotanto, optimointi, kokoonpano, graafinen käyttöliittymä, ja kielen käsittely. Se parantaa merkittävästi tuottavuutta ohjelmistokehityksen ja ohjelmistojen ylläpitoa. Lisäksi koska saatavuus tehokkaan rajoitteen ratkomiseen muistin hallinta ja kokoaminen tekniikoita, CLP-ohjelmia voi olla tehokkaampaa kuin heidän kollegansa kirjoitettu käsittelykielet.
Mitä uutta Tässä tiedotteessa:
- Tuki UTF-8.
- Uusi-ins: getpid / 1, bp_current_resource / 1.
- Bug korjauksia ja parannuksia:
Planner
välillä / 3.
vähennä / 3.
Kertominen rajoitus
Kommentteja ei löytynyt