GNU Prolog məhdud alan üzərində həll sıxıntı ilə bir pulsuz Prolog compiler edir. GNU Prolog sıxıntı proqramları ilə Prolog qəbul və (gcc C mənbədən nə kimi) doğma binaries istehsal edir. Əldə yürütülebilir sonra tək başına olunur. GNU Prolog ən olunmamış daxili predikatların kodu birləşdirən qarşısını almaq bilər-ci ildən bu yürütülebilir ölçüsü kiçik ola bilər. GNU Prolog çıxışları çox ümidverici (kommersiya sistemləri ilə müqayisə) var. Doğma kodu tərtib yanaşı, GNU Prolog ayıklama ilə klassik tərcüməçi (yüksək səviyyəli) təklif edir.
Prolog hissəsi praktikada çox faydalı bir çox uzantıları ilə Prolog üçün ISO standart uyğun (qlobal dəyişənlər, OS interface, və priz). GNU Prolog da çözücü Sonlu Domains (FD) üzərində səmərəli sıxıntı daxildir. Bu məntiq proqramlaşdırma declarativity üçün məhdudiyyət proqramlaşdırma gücünü birləşdirərək istifadəçi sıxıntı məntiq proqramlaşdırma açır. Features Prolog və C, doğma kodu compiler tək executables durmaq istehsal faylları bir sıra qəbul sadə command-line compiler, əvvəlcədən təyin edilən arasında atomları haqqında başa, bidirectional interfeysi ilə interaktiv tərcüməçi altında Prolog üçün ISO standart, line redaktə harada uyğun daxildir məhdudiyyətlər:. hesab məhdudiyyətlər, Boolean məhdudiyyətlər, simvolik məhdudiyyətlər və reified məhdudiyyətlər, əvvəlcədən təyin edilmiş yoxlama heuristics və istifadəçi öz yeni məhdudiyyətlər müəyyən edə bilərsiniz
Şərhlər tapılmadı