Velkommen til B-Prolog, et system alsidig og effektiv begrænsning logik programmering (CLP)! B-Prolog bliver bragt til dig af Afany Software (New York), KLS (Tokyo), og NandaSoft (Nanjing).
fødsel CLP er en milepæl i historien for programmeringssprog. CLP kombinerer to deklarative programmeringsparadigmer: logik programmering og tvang opgaveløsning. Den deklarativ natur har vist tiltalende i talrige applikationer, herunder computerstøttet design og verifikation, database, data mining, software engineering, optimering, konfiguration, grafisk brugergrænseflade, og sprogbehandling. Det i høj grad øger produktiviteten i softwareudvikling og software vedligeholdelse. På grund af tilgængeligheden af effektive begrænsning opgaveløsning, memory management, og kompilering teknikker, kan CLP programmer være mere effektive end deres kolleger skrevet i proceduremæssige sprog.
Hvad er nyt i denne udgivelse:
- Support UTF-8.
- Nye indbygget ins: getpid / 1, bp_current_resource / 1.
- fejlrettelser og forbedringer:
Planner
mellem / 3.
trække / 3.
Multiplikation tvang
Kommentarer ikke fundet