GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) məhdud domenlər üzərində məhdudiyyətlərin həllini təklif edən güclü və pulsuz Proloq tərtibçisidir. Bu proqram asanlıqla mürəkkəb proqramlar yaratmalı olan tərtibatçılar üçün nəzərdə tutulmuşdur. GNU Proloq məhdudiyyət proqramları ilə Proloqu qəbul edir və gcc-nin C mənbəyindən etdiyi kimi yerli ikili faylları istehsal edir. Alınan icra sənədi daha sonra müstəqildir, yəni o, əlavə proqram təminatı və ya kitabxanalara ehtiyac olmadan istənilən kompüterdə işləyə bilər.

GNU Proloqun ən əhəmiyyətli üstünlüklərindən biri onun kiçik ölçüsüdür. Bu proqram istifadə olunmayan daxili predikatların əksəriyyətinin kodunu əlaqələndirməkdən qaça bildiyindən, icra olunanın ölçüsü çox kiçik ola bilər. Bu, onu istifadəçilərin kompüterlərində çox yer tutmayan yüngül tətbiqlər yaratmaq istəyən tərtibatçılar üçün ideal hala gətirir.

GNU Proloqun performansları da çox həvəsləndirici və kommersiya sistemləri ilə müqayisə edilə bilər. Bu o deməkdir ki, siz bu proqram təminatından hər istifadə etdiyiniz zaman sürətli və səmərəli nəticələr əldə etmək üçün ona etibar edə bilərsiniz.

Doğma kod tərtibi ilə yanaşı, GNU Prolog sazlayıcı ilə klassik tərcüməçi (üst səviyyə) təklif edir. Tərcüməçi kodunuzu interaktiv şəkildə sınamağa və inkişaf zamanı yaranan hər hansı problemi aradan qaldırmağa imkan verir.

Proloq hissəsi praktikada çox faydalı olan bir çox əlavələrlə (qlobal dəyişənlər, ƏS interfeysi və rozetkalar) Proloq üçün ISO standartına uyğundur. Bu o deməkdir ki, siz bu proqram təminatından hər istifadə etdiyiniz zaman etibarlı nəticələr əldə etmək üçün ona etibar edə bilərsiniz.

GNU Prolog həmçinin Sonlu Domenlər (FD) üzərində effektiv məhdudiyyət həlledicisini ehtiva edir. Bu, məhdudiyyət proqramlaşdırmasının gücünü məntiqi proqramlaşdırmanın deklarativliyi ilə birləşdirən istifadəçiyə məhdudiyyət məntiqi proqramlaşdırmasını açır.

Xüsusiyyətləri:

- Proloq üçün ISO standartına uyğundur

- Atomlar üzərində tamamlama ilə interaktiv tərcüməçi altında xətt redaktə qurğusu

- Proloq və C arasında iki istiqamətli interfeys

- Müstəqil icra olunanlar istehsal edən yerli kod tərtibçisi

- Müxtəlif faylları qəbul edən sadə əmr xətti tərtibçisi

- Əvvəlcədən təyin edilmiş məhdudiyyətlər: arifmetik məhdudiyyətlər, Boolean məhdudiyyətləri, simvolik məhdudiyyətlər, dəqiqləşdirilmiş məhdudiyyətlər.

- Əvvəlcədən təyin edilmiş siyahıya alma evristikası.

- İstifadəçi tərəfindən müəyyən edilmiş yeni məhdudiyyətlər

Xülasə:

Əgər siz məhdud domenlər üzərində məhdudiyyətlərin həlli ilə güclü, lakin pulsuz proloq tərtibçisi axtarırsınızsa, 32 bitlik GNU proloqundan başqa yerə baxmayın! Kiçik ölçüsü, lakin intuitiv istifadəçi interfeysi ilə birləşən təsirli performans imkanları ilə bu proqramı təkcə yeni başlayanlar deyil, həm də təcrübəli proqramçılar üçün mükəmməl edir!