| Versiya | 1.4.3 |
|---|---|
| Nəşriyyat | Daniel Diaz |
| Buraxılış tarixi | 8 apr 2013 |
| Tarix əlavə edildi | 8 apr 2013 |
| Os tələbləri | Windows, Windows 7 |
| Tələblər | None |
| Cəmi yüklənmə | 1.943 |
| Qiymət | Free |
Təsvir
GNU Proloq sonlu domenlər üzərində məhdudiyyətləri həll edən pulsuz Proloq tərtibçisidir. GNU Proloq məhdudiyyət proqramları ilə Proloqu qəbul edir və yerli ikili faylları istehsal edir (gibi gcc C mənbəyindən edir). Əldə edilən icraedici fayl daha sonra müstəqildir. Bu icra olunan faylın ölçüsü kiçik ola bilər, çünki GNU Proloq əksər istifadə olunmamış daxili predikatların kodunu əlaqələndirməkdən qaça bilər. GNU Proloqun performansları çox ümidvericidir (kommersiya sistemləri ilə müqayisə oluna bilər). Doğma kod tərtibi ilə yanaşı, GNU Prolog sazlayıcı ilə klassik tərcüməçi (üst səviyyə) təklif edir.
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. 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ər arasında Prolog üçün ISO standartına uyğunluq, atomlar üzərində tamamlanan interaktiv tərcüməçinin altında xətt redaktə qurğusu, Proloq və C arasında iki istiqamətli interfeys, müstəqil icra edilə bilənlər 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 və dəqiqləşdirilmiş məhdudiyyətlər, əvvəlcədən təyin edilmiş sayma evristikası və istifadəçi öz yeni məhdudiyyətlərini müəyyən edə bilər.
