| Verze | 8.1 |
|---|---|
| Vydavatel | KopecSoft |
| Datum vydání | 24. 2. 2014 |
| Datum přidáno | 24. 2. 2014 |
| Os požadavky | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| Požadavky | None |
| Celkový počet stažení | 946 |
| Cena | Free to try |
Popis
Vítejte v B-Prolog, všestranném a efektivním systému programování logiky omezení (CLP)! B-Prolog vám přináší Afany Software (New York), KLS (Tokio) a NandaSoft (Nanjing).
Zrození CLP je milníkem v historii programovacích jazyků. CLP kombinuje dvě deklarativní programovací paradigmata: logické programování a řešení omezení. Deklarativní povaha se ukázala jako přitažlivá v mnoha aplikacích včetně počítačově podporovaného návrhu a ověřování, databáze, dolování dat, softwarového inženýrství, optimalizace, konfigurace, grafického uživatelského rozhraní a jazykového zpracování. Výrazně zvyšuje produktivitu vývoje softwaru a jeho údržbu. Navíc díky dostupnosti efektivního řešení omezení, správy paměti a kompilačních technik mohou být programy CLP efektivnější než jejich protějšky napsané v procedurálních jazycích.
