Vítejte na B-Prolog, a (CLP) systému, univerzální a efektivní omezení logické programování! B-Prolog je vám přináší Afany Software (New York), KLS (Tokio), a NandaSoft (Nanjing).
narození nařízení CLP je milníkem v historii programovacích jazyků. CLP kombinuje dvě deklarativní programovací paradigmata: logika programování a omezení řešení. Deklarativní charakter se ukázal atraktivní v mnoha aplikacích, včetně počítačově podporované navrhování a ověřování, databáze, data mining, softwarové inženýrství, optimalizace, konfigurace, grafické uživatelské rozhraní, a zpracování jazyka. To výrazně zvyšuje produktivitu vývoje softwaru a softwaru udržovatelnost. Navíc, vzhledem k dostupnosti účinné-podmínky řešení, správy paměti a kompilace techniky, CLP programy mohou být účinnější než jejich protějšky napsaný v procedurálních jazycích.
Co je nového v této verzi:
- Podpora UTF-8.
- Nové vestavby: getpid / 1, bp_current_resource / 1.
- Opravy chyb a vylepšení:
Planner
mezi / 3.
odečteme / 3.
Násobení omezení
Komentáře nebyl nalezen