GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) ni mkusanyaji wa Prolog yenye nguvu na bila malipo ambayo hutoa utatuzi wa vikwazo juu ya vikoa vyenye ukomo. Programu hii imeundwa kwa watengenezaji ambao wanahitaji kuunda programu ngumu kwa urahisi. GNU Prolog inakubali Prolog na programu za vizuizi na hutoa jozi asili, kama vile gcc inavyofanya kutoka kwa chanzo cha C. Inayoweza kutekelezwa iliyopatikana basi inasimama peke yake, ambayo ina maana kwamba inaweza kukimbia kwenye kompyuta yoyote bila ya haja ya programu ya ziada au maktaba.

Moja ya faida muhimu zaidi za GNU Prolog ni saizi yake ndogo. Kwa kuwa programu hii inaweza kuzuia kuunganisha msimbo wa vihusishi vingi vilivyojengwa ndani ambavyo havijatumiwa, saizi ya inayoweza kutekelezwa inaweza kuwa ndogo sana. Hii inafanya kuwa bora kwa wasanidi programu ambao wanataka kuunda programu nyepesi ambazo hazichukui nafasi nyingi kwenye kompyuta za watumiaji.

Maonyesho ya GNU Prolog pia yanatia moyo sana na yanalinganishwa na mifumo ya kibiashara. Hii inamaanisha kuwa unaweza kutegemea programu hii kutoa matokeo ya haraka na bora kila wakati unapoitumia.

Kando ya mkusanyo wa msimbo asilia, GNU Prolog inatoa mkalimani wa kitambo (kiwango cha juu) na kitatuzi. Mkalimani hukuruhusu kujaribu msimbo wako kwa maingiliano na kutatua masuala yoyote yanayotokea wakati wa utayarishaji.

Sehemu ya Prolog inalingana na kiwango cha ISO cha Prolog na viendelezi vingi muhimu sana katika mazoezi (vigeu vya kimataifa, kiolesura cha OS, na soketi). Hii ina maana kwamba unaweza kutegemea programu hii kutoa matokeo ya kuaminika kila wakati matumizi yake.

GNU Prolog pia inajumuisha kitatuzi bora cha vizuizi juu ya Vikoa vya Finite (FD). Hii inafungua upangaji wa kikwazo wa mantiki kwa mtumiaji kuchanganya nguvu ya upangaji kikwazo kwa utangazaji wa upangaji wa mantiki.

vipengele:

- Inapatana na kiwango cha ISO cha utangulizi

- Chombo cha kuhariri laini chini ya mkalimani ingiliani na kukamilika kwa atomi

- Muunganisho wa pande mbili kati ya utangulizi na C

- Kikusanyaji cha msimbo asilia kinachozalisha vitekelezo vya kusimama pekee

- Mkusanyaji rahisi wa mstari wa amri kukubali faili mbalimbali

- Vikwazo vilivyoainishwa awali: vikwazo vya hesabu, vikwazo vya Boolean, vikwazo vya ishara, vikwazo vilivyothibitishwa.

- Heuristics ya hesabu iliyoainishwa.

- Vikwazo vipya vilivyoainishwa na mtumiaji

Kwa ufupi:

Ikiwa unatafuta mkusanyaji wa dibaji mwenye nguvu lakini bila malipo na utatuzi wa vizuizi juu ya vikoa vyenye kikomo basi usiangalie zaidi ya dibaji ya GNU 32-bit! Kwa ukubwa wake mdogo lakini uwezo wa utendakazi wa kuvutia pamoja na kiolesura angavu cha mtumiaji hufanya programu hii kuwa kamili sio tu wanaoanza bali pia waandaaji programu wenye uzoefu sawa!