GNU Prolog (32-bit)

Maelezo

GNU Prolog ni mkusanyaji wa Prologi bila malipo na utatuzi wa vikwazo juu ya vikoa vyenye kikomo. GNU Prolog inakubali Prolog na programu za vizuizi na hutoa jozi asili (kama gcc inavyofanya kutoka kwa chanzo C). Inayopatikana inayoweza kutekelezwa basi inasimama peke yake. Saizi ya hii inayoweza kutekelezeka inaweza kuwa ndogo kwa kuwa GNU Prolog inaweza kuzuia kuunganisha msimbo wa viambishi vingi vilivyojengwa ndani ambavyo havijatumika. Maonyesho ya GNU Prolog yanatia moyo sana (yanalinganishwa na mifumo ya kibiashara). Kando ya mkusanyo wa msimbo asilia, GNU Prolog inatoa mkalimani wa kitambo (kiwango cha juu) na kitatuzi.

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). 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 ni pamoja na kuafiki viwango vya ISO vya Prolog, kituo cha kuhariri laini chini ya mkalimani ingiliani na kukamilika kwa atomi, kiolesura cha pande mbili kati ya Prolog na C, mkusanyaji wa msimbo asilia unaozalisha utekelezeji wa kusimama pekee, mkusanyaji rahisi wa mstari wa amri kukubali aina mbalimbali za faili, zilizofafanuliwa awali. vikwazo: vikwazo vya hesabu, vikwazo vya Boolean, vikwazo vya ishara, na vikwazo vilivyothibitishwa, heuristics ya hesabu iliyoainishwa awali, na mtumiaji anaweza kufafanua vikwazo vyake vipya.