| Útgáfa | 8.1 |
|---|---|
| Útgefandi | KopecSoft |
| Útgáfudagur | 24. feb. 2014 |
| Dagsetning bætt við | 24. feb. 2014 |
| Os kröfur | 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 |
| Kröfur | None |
| Niðurhal alls | 946 |
| Verð | Free to try |
Lýsing
Velkomin í B-Prolog, fjölhæft og skilvirkt þvingunarrökforritunarkerfi (CLP)! B-Prolog kemur til þín af Afany Software (New York), KLS (Tókýó) og NandaSoft (Nanjing).
Fæðing CLP er áfangi í sögu forritunarmála. CLP sameinar tvær yfirlýsandi forritunarhugmyndir: rökfræðiforritun og þvingunarlausn. Yfirlýsingaeðlið hefur reynst aðlaðandi í fjölmörgum forritum, þar á meðal tölvustýrðri hönnun og sannprófun, gagnagrunni, gagnavinnslu, hugbúnaðarverkfræði, hagræðingu, uppsetningu, grafísku notendaviðmóti og tungumálavinnslu. Það eykur til muna framleiðni hugbúnaðarþróunar og viðhald hugbúnaðar. Þar að auki, vegna tiltækrar skilvirkrar þvingunarlausnar, minnisstjórnunar og samantektartækni, geta CLP forrit verið skilvirkari en hliðstæða þeirra skrifuð á málsmeðferðarmálum.
