| Տարբերակ | 1.4.3 |
|---|---|
| Հրատարակիչ | Daniel Diaz |
| Թողարկման ամսաթիվ | 08 ապր, 2013 թ. |
| Ավելացման ամսաթիվը | 08 ապր, 2013 թ. |
| OS պահանջները | Windows, Windows 7 |
| Պահանջներ | None |
| Ընդհանուր ներբեռնումներ | 812 |
| Գինը | Free |
Նկարագրություն
GNU Prolog-ը Prolog-ի անվճար կոմպիլյատոր է՝ սահմանափակումների լուծում սահմանափակ տիրույթներում: GNU Prolog-ն ընդունում է Prolog-ը սահմանափակող ծրագրերով և արտադրում է բնիկ երկուականներ (ինչպես gcc-ն անում է C աղբյուրից): Ստացված գործադիրն այնուհետև ինքնուրույն է: Այս գործարկվող նյութի չափը կարող է փոքր լինել, քանի որ GNU Prolog-ը կարող է խուսափել չօգտագործված ներկառուցված պրեդիկատների մեծամասնության ծածկագիրը կապելուց: GNU Prolog-ի կատարումները շատ հուսադրող են (համեմատելի կոմերցիոն համակարգերի հետ): Բացի բնօրինակ կոդերի հավաքածուից, GNU Prolog-ն առաջարկում է դասական թարգմանիչ (վերին մակարդակ) վրիպազերծիչով:
Prolog-ի մասը համապատասխանում է Prolog-ի ISO ստանդարտին՝ գործնականում շատ օգտակար ընդլայնումներով (գլոբալ փոփոխականներ, OS միջերես և վարդակներ): GNU Prolog-ը ներառում է նաև սահմանափակումների արդյունավետ լուծիչ վերջավոր տիրույթների (FD) նկատմամբ: Սա բացում է սահմանափակման տրամաբանական ծրագրավորումը օգտագործողի համար՝ համատեղելով սահմանափակման ծրագրավորման ուժը տրամաբանական ծրագրավորման հռչակագրության հետ: Առանձնահատկությունները ներառում են Prolog-ի ISO ստանդարտին համապատասխանելը, ինտերակտիվ թարգմանչի տակ տողերի խմբագրման հնարավորություն՝ ատոմների վրա լրացումով, երկկողմանի ինտերֆեյս Prolog-ի և C-ի միջև, բնիկ-կոդային կոմպիլյատոր, որն արտադրում է առանձին գործադիրներ, պարզ հրամանի տողի կոմպիլյատոր, որն ընդունում է տարբեր ֆայլեր, նախապես սահմանված Սահմանափակումներ. թվաբանական սահմանափակումներ, Բուլյան սահմանափակումներ, սիմվոլիկ սահմանափակումներ և իրականացված սահմանափակումներ, նախապես սահմանված թվային էվրիստիկա, և օգտագործողը կարող է սահմանել իր նոր սահմանափակումները:
