Välkommen till B-Prolog, mångsidig och effektiv begränsning logikprogrammering (CLP) system! B-Prolog är Presenteras av Afany Software (New York), KLS (Tokyo), och NandaSoft (Nanjing).
födelse CLP är en milstolpe i historien om programmeringsspråk. CLP kombinerar två deklarativa programmeringsparadigmer: logik programmering och tvång lösa. Den deklarativa naturen har visat talande i en mängd applikationer, inklusive datorstödd design och verifiering, databas, data mining, programvaruteknik, optimering, konfigurering, grafiskt användargränssnitt, och språkbehandling. Det ökar kraftigt produktiviteten för mjukvaruutveckling och mjukvaruunderhållet. Dessutom, på grund av tillgången till effektiva tvång problemlösning, minneshantering och sammanställningsmetoder, kan CLP program vara effektivare än sina motsvarigheter skrivna på procedurspråk.
Vad är nytt i den här versionen:
- Stöd UTF-8.
- Nya inbyggda ins: getpid / 1, bp_current_resource / 1.
- buggfixar och förbättringar:
Planner
mellan / 3.
subtrahera / 3.
Multiplikation begränsning
Kommentarer hittades inte