GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) հզոր և անվճար Prolog կոմպիլյատոր է, որն առաջարկում է սահմանափակումների լուծում սահմանափակ տիրույթներում: Այս ծրագիրը նախատեսված է մշակողների համար, ովքեր պետք է հեշտությամբ ստեղծեն բարդ ծրագրեր: GNU Prolog-ն ընդունում է Prolog-ը սահմանափակող ծրագրերով և արտադրում է բնօրինակ երկուականներ՝ դարձնելով այն ինքնուրույն և արդյունավետ:

GNU Prolog-ի ամենակարևոր առավելություններից մեկն այն է, որ նա կարող է խուսափել չօգտագործված ներկառուցված պրեդիկատների կոդերի միացումից, ինչը հանգեցնում է ավելի փոքր գործարկվող չափերի: GNU Prolog-ի կատարումները շատ հուսադրող են՝ համեմատելի կոմերցիոն համակարգերի հետ:

Բացի բնօրինակ կոդերի հավաքածուից, GNU Prolog-ն առաջարկում է դասական թարգմանիչ (վերին մակարդակ) վրիպազերծիչով: Թարգմանիչը տրամադրում է տողերի խմբագրման հնարավորություն ինտերակտիվ ռեժիմում, որն ավարտվում է ատոմների վրա, ինչը ծրագրավորողների համար հեշտացնում է վրիպազերծել իրենց կոդը:

Ծրագիրը համապատասխանում է ISO ստանդարտին Prolog-ի համար բազմաթիվ ընդլայնումներով, որոնք շատ օգտակար են գործնականում, ինչպիսիք են գլոբալ փոփոխականները, OS միջերեսը և վարդակները: Սա ծրագրավորողների համար հեշտացնում է բարդ ծրագրեր ստեղծելը, որոնք կարող են անխափան համագործակցել այլ համակարգերի հետ:

GNU Prolog-ը ներառում է նաև սահմանափակումների արդյունավետ լուծիչ վերջավոր տիրույթների (FD) նկատմամբ: Սա բացում է սահմանափակումների տրամաբանական ծրագրավորումը օգտվողների համար՝ համատեղելով սահմանափակման ծրագրավորման ուժը տրամաբանական ծրագրավորման հռչակագրության հետ: Այս ֆունկցիայի միջոցով օգտվողները կարող են հեշտությամբ սահմանել իրենց սահմանափակումները՝ չանհանգստանալով շարահյուսական սխալների կամ այլ խնդիրների մասին:

Նախապես սահմանված սահմանափակումները ներառում են թվաբանական սահմանափակումներ, ինչպիսիք են գումարումը և հանումը. Բուլյան սահմանափակումներ, ինչպիսիք են AND/OR; սիմվոլիկ սահմանափակումներ, ինչպիսիք են տողերի համապատասխանությունը; վերանայված սահմանափակումներ, որոնք թույլ են տալիս արտահայտել տրամաբանական պայմաններ՝ օգտագործելով Բուլյան օպերատորներ. կանխորոշված ​​թվարկման էվրիստիկա, որն օգնում է ձեզ արագ լուծումներ գտնել՝ համակարգված կերպով ուսումնասիրելով տարբեր հնարավորություններ:

Օգտատերերը կարող են նաև սահմանել իրենց նոր սահմանափակումները՝ օգտագործելով պարզ հրամաններ, որոնք տրամադրվում են GNU prologue-ի հրամանի տողի կոմպիլյատորի կողմից, որն ընդունում է տարբեր ֆայլեր: Սա հեշտացնում է այն մշակողների համար, ովքեր ցանկանում են ավելի շատ վերահսկել իրենց ծրագրի վարքագիծը կամ կարիք ունեն հատուկ գործառույթների, որոնք հասանելի չեն նախապես սահմանված գրադարաններում:

Ամփոփելով, եթե դուք փնտրում եք հզոր, բայց անվճար գործիք, որը թույլ է տալիս հեշտությամբ ստեղծել բարդ ծրագրեր՝ խստորեն համապատասխանելով արդյունաբերության չափանիշներին, ապա մի նայեք GNU-ի նախաբանին: