GNU Prolog (64-bit)

Deskrizzjoni

GNU Prolog huwa kompilatur Prolog b'xejn b'soluzzjoni ta' restrizzjonijiet fuq oqsma finiti. GNU Prolog jaċċetta Prolog bi programmi ta' restrizzjoni u jipproduċi binarji indiġeni (bħal gcc jagħmel minn sors C). L-eżekutibbli miksub huwa mbagħad waħdu. Id-daqs ta' dan l-eżekutibbli jista' jkun żgħir peress li GNU Prolog jista' jevita li jgħaqqad il-kodiċi tal-biċċa l-kbira tal-predikati built-in mhux użati. 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.

Il-parti Prolog tikkonforma mal-istandard ISO għal Prolog b'ħafna estensjonijiet utli ħafna fil-prattika (varjabbli globali, interface OS, u sokits). 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. Il-karatteristiċi jinkludu konformi mal-istandard ISO għal Prolog, faċilità ta 'editjar tal-linja taħt l-interpretu interattiv bit-tlestija fuq l-atomi, interface bidirezzjonali bejn Prolog u C, kompilatur tal-kodiċi nattiv li jipproduċi eżekutibbli waħdu, kompilatur sempliċi tal-linja tal-kmand li jaċċetta varjetà ta' fajls, predefiniti restrizzjonijiet: restrizzjonijiet aritmetiċi, restrizzjonijiet Boolean, restrizzjonijiet simboliċi, u restrizzjonijiet reifikati, euristiċi ta 'enumerazzjoni predefiniti, u l-utent jista' jiddefinixxi r-restrizzjonijiet il-ġodda tiegħu stess.