B-Prolog

Velkommen til B-Prolog, en allsidig og effektiv begrensning logikk programmering (CLP) system! B-Prolog blir brakt til deg av Afany programvare (New York), KLS (Tokyo), og NandaSoft (Nanjing).
fødselen av CLP er en milepæl i historien av programmeringsspråk. CLP kombinerer to deklarative programmering paradigmer: logikk programmering og begrensning øvinger. Det deklarative naturen har vist tiltalende i en rekke applikasjoner, inkludert dataassistert konstruksjon og verifikasjon, database, data mining, software engineering, optimalisering, konfigurasjon, grafisk brukergrensesnitt, og språkbehandling. Det forbedrer sterkt produktiviteten av programvareutvikling og programvare vedlikehold. I tillegg, på grunn av tilgjengeligheten av effektiv begrensning-solving, minnehåndtering, og kompilering teknikker, kan CLP programmer være mer effektiv enn sine kolleger skrevet i prosessuelle språk.

Hva er nytt i denne utgaven:

• Support UTF-8.
  
• Nye innebygde moduler: getpid / 1, bp_current_resource / 1.
  
• Feilrettinger og forbedringer:
  Planner
  mellom / 3.
  trekke / 3.
  Multiplikasjon begrensningen