GNU Prolog (32-bit) 1.4.3

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

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

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

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

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

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

Հատկություններ:

- Համապատասխանում է պրոլոգի ISO ստանդարտին

- Տողերի խմբագրման հարմարանք ինտերակտիվ թարգմանչի ներքո՝ ատոմների վրա լրացմամբ

- Երկկողմանի միջերես նախաբանի և C-ի միջև

- Բնական կոդի կազմող, որն արտադրում է ինքնուրույն գործարկվողներ

- Պարզ հրամանի տողի կոմպիլյատոր, որն ընդունում է տարբեր ֆայլեր

- Նախասահմանված սահմանափակումներ. թվաբանական սահմանափակումներ, բուլյան սահմանափակումներ, խորհրդանշական սահմանափակումներ, իրականացված սահմանափակումներ:

- Նախասահմանված թվարկման էվրիստիկա:

- Օգտագործողի կողմից սահմանված նոր սահմանափակումներ

Արդյունքում:

Եթե ​​դուք փնտրում եք հզոր, բայց անվճար նախաբանի կոմպիլյատոր՝ սահմանափակումների լուծմամբ վերջավոր տիրույթներով, ապա մի նայեք GNU-ի նախաբանից 32-բիթանոց: Իր փոքր չափերով, բայց տպավորիչ կատարողական հնարավորություններով, որոնք զուգորդվում են ինտուիտիվ ինտերֆեյսի միջոցով, այս ծրագիրը կատարյալ են դարձնում ոչ միայն սկսնակների, այլև փորձառու ծրագրավորողների համար: