GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-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, bħalma jagħmel gcc minn sors C. L-eżekutibbli miksub huwa mbagħad waħdu, li jfisser li jista 'jimxi fuq kwalunkwe kompjuter mingħajr il-ħtieġa ta' softwer jew libreriji addizzjonali.

Wieħed mill-aktar vantaġġi sinifikanti ta 'GNU Prolog huwa d-daqs żgħir tiegħu. Peress li dan is-software jista 'jevita li jgħaqqad il-kodiċi tal-biċċa l-kbira tal-predikati built-in mhux użati, id-daqs tal-eżekutibbli jista' jkun żgħir ħafna. Dan jagħmilha ideali għall-iżviluppaturi li jixtiequ joħolqu applikazzjonijiet ħfief li ma jieħdux wisq spazju fuq il-kompjuters tal-utenti.

Il-prestazzjonijiet ta' GNU Prolog huma wkoll inkoraġġanti ħafna u komparabbli ma' sistemi kummerċjali. Dan ifisser li tista 'tistrieħ fuq dan is-software biex tagħti riżultati veloċi u effiċjenti kull darba li tużah.

Minbarra l-kumpilazzjoni tal-kodiċi nattiv, GNU Prolog joffri interpretu klassiku (l-ogħla livell) b'debugger. L-interpretu jippermettilek tittestja l-kodiċi tiegħek b'mod interattiv u tiddibaggja kwalunkwe kwistjoni li tqum waqt l-iżvilupp.

Il-parti Prolog tikkonforma mal-istandard ISO għal Prolog b'ħafna estensjonijiet utli ħafna fil-prattika (varjabbli globali, interface OS, u sokits). Dan ifisser li tista 'tistrieħ fuq dan is-software biex tagħti riżultati affidabbli kull darba li tużah.

GNU Prolog jinkludi wkoll solver ta' restrizzjoni effiċjenti fuq Domini Finiti (FD). Dan jiftaħ l-ipprogrammar tal-loġika tar-restrizzjoni għall-utent li jgħaqqad il-qawwa tal-ipprogrammar tar-restrizzjoni mad-dikjarazzjoni tal-ipprogrammar tal-loġika.

karatteristiċi:

- Jikkonforma mal-istandard ISO għall-prologu

- Faċilità tal-editjar tal-linja taħt interpretu interattiv bit-tlestija fuq l-atomi

- Interfaċċja bidirezzjonali bejn il-prologu u C

- Kompilatur tal-kodiċi nattiv li jipproduċi eżekutibbli waħedhom

- Kompilatur sempliċi tal-linja tal-kmand li jaċċetta diversi fajls

- Limitazzjonijiet predefiniti: restrizzjonijiet aritmetiċi, restrizzjonijiet Boolean, restrizzjonijiet simboliċi, restrizzjonijiet reifikati.

- Euristiċi ta' enumerazzjoni predefiniti.

- Limitazzjonijiet ġodda definiti mill-utent

Fil-qosor:

Jekk qed tfittex kompilatur tal-prologu b'saħħtu iżda b'xejn b'soluzzjoni ta' restrizzjonijiet fuq oqsma finiti, allura ma tfittexx aktar minn prologue GNU 32-bit! Bid-daqs żgħir tiegħu iżda l-kapaċitajiet ta 'prestazzjoni impressjonanti flimkien ma' interface tal-utent intuwittivi jagħmlu dan il-programm perfett mhux biss jibdew iżda wkoll programmaturi b'esperjenza bl-istess mod!