GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-bit) huwa kompilatur Prolog b'saħħtu u ħieles li joffri soluzzjoni ta' restrizzjonijiet fuq oqsma finiti. Dan is-software huwa ddisinjat għall-iżviluppaturi li għandhom bżonn joħolqu programmi kumplessi bil-faċilità. GNU Prolog jaċċetta Prolog bi programmi ta' restrizzjoni u jipproduċi binarji indiġeni, li jagħmilha waħedha u effiċjenti.

Wieħed mill-aktar vantaġġi sinifikanti ta 'GNU Prolog huwa l-kapaċità tiegħu li jevita li jgħaqqad il-kodiċi tal-biċċa l-kbira tal-predikati integrati mhux użati, li jirriżulta f'daqsijiet eżekutibbli iżgħar. Il-prestazzjonijiet ta' GNU Prolog huma inkoraġġanti ħafna, komparabbli ma' sistemi kummerċjali.

Minbarra l-kumpilazzjoni tal-kodiċi nattiv, GNU Prolog joffri interpretu klassiku (l-ogħla livell) b'debugger. L-interpretu jipprovdi faċilità ta 'editjar tal-linja taħt mod interattiv bit-tlestija fuq l-atomi, li jagħmilha faċli għall-iżviluppaturi biex jiddebugjaw il-kodiċi tagħhom.

Is-softwer jikkonforma mal-istandard ISO għal Prolog b'ħafna estensjonijiet utli ħafna fil-prattika bħal varjabbli globali, interface OS, u sokits. Dan jagħmilha aktar faċli għall-iżviluppaturi biex joħolqu programmi kumplessi li jistgħu jinteraġixxu mingħajr xkiel ma 'sistemi oħra.

GNU Prolog jinkludi wkoll solver ta' restrizzjoni effiċjenti fuq Domini Finiti (FD). Dan jiftaħ l-ipprogrammar tal-loġika tar-restrizzjoni għall-utenti billi jgħaqqad il-qawwa tal-ipprogrammar tar-restrizzjoni mad-dikjarazzjoni tal-ipprogrammar tal-loġika. B'din il-karatteristika, l-utenti jistgħu jiddefinixxu r-restrizzjonijiet tagħhom faċilment mingħajr ma joqogħdu jinkwetaw dwar żbalji ta' sintassi jew kwistjonijiet oħra.

Ir-restrizzjonijiet predefiniti jinkludu restrizzjonijiet aritmetiċi bħaż-żieda u t-tnaqqis; Limitazzjonijiet Boolean bħal AND/OR; restrizzjonijiet simboliċi bħall-tqabbil tal-istring; restrizzjonijiet reifikati li jippermettulek tesprimi kundizzjonijiet loġiċi billi tuża operaturi Boolean; euristiċi ta' enumerazzjoni predefiniti li jgħinuk issib soluzzjonijiet malajr billi tesplora possibbiltajiet differenti b'mod sistematiku.

L-utenti jistgħu wkoll jiddefinixxu r-restrizzjonijiet il-ġodda tagħhom stess billi jużaw kmandi sempliċi pprovduti mill-kompilatur tal-linja tal-kmand ta' GNU prologue li jaċċetta varjetà ta' fajls. Dan jagħmilha faċli għall-iżviluppaturi li jixtiequ aktar kontroll fuq l-imġiba tal-programm tagħhom jew jeħtieġu funzjonalità speċifika mhux disponibbli f'libreriji definiti minn qabel.

Fil-qosor, jekk qed tfittex għodda b'saħħitha iżda b'xejn li tippermettilek toħloq programmi kumplessi faċilment filwaqt li tikkonforma strettament mal-istandards tal-industrija, allura ma tfittexx aktar mill-prologu GNU!