GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 de biți) este un compilator Prolog puternic și gratuit care oferă rezolvarea constrângerilor pe domenii finite. Acest software este conceput pentru dezvoltatorii care au nevoie să creeze programe complexe cu ușurință. GNU Prolog acceptă Prolog cu programe de constrângere și produce binare native, la fel cum face gcc dintr-o sursă C. Executabilul obținut este apoi autonom, ceea ce înseamnă că poate rula pe orice computer fără a fi nevoie de software sau biblioteci suplimentare.

Unul dintre cele mai semnificative avantaje ale GNU Prolog este dimensiunea sa mică. Deoarece acest software poate evita conectarea codului celor mai multe predicate încorporate neutilizate, dimensiunea executabilului poate fi foarte mică. Acest lucru îl face ideal pentru dezvoltatorii care doresc să creeze aplicații ușoare care să nu ocupe prea mult spațiu pe computerele utilizatorilor.

Performanțele GNU Prolog sunt, de asemenea, foarte încurajatoare și comparabile cu sistemele comerciale. Aceasta înseamnă că vă puteți baza pe acest software pentru a oferi rezultate rapide și eficiente de fiecare dată când îl utilizați.

Pe lângă compilarea codului nativ, GNU Prolog oferă un interpret clasic (nivel superior) cu un depanator. Interpretul vă permite să testați codul în mod interactiv și să depanați orice probleme care apar în timpul dezvoltării.

Partea Prolog este conformă cu standardul ISO pentru Prolog cu multe extensii foarte utile în practică (variabile globale, interfață OS și socket-uri). Aceasta înseamnă că vă puteți baza pe acest software pentru a oferi rezultate fiabile de fiecare dată când îl utilizați.

GNU Prolog include, de asemenea, un solutor eficient de constrângeri asupra domeniilor finite (FD). Acest lucru deschide utilizatorului programarea logică a constrângerilor combinând puterea programării constrângerii cu declarativitatea programării logice.

Caracteristici:

- Conform standardului ISO pentru prolog

- Facilitate de editare de linii sub interpret interactiv cu completare pe atomi

- Interfață bidirecțională între prolog și C

- Compilator de cod nativ care produce executabile autonome

- Compilator simplu de linie de comandă care acceptă diferite fișiere

- Constrângeri predefinite: constrângeri aritmetice, constrângeri booleene, constrângeri simbolice, constrângeri reificate.

- Euristice de enumerare predefinite.

- Noi constrângeri definite de utilizator

În concluzie:

Dacă sunteți în căutarea unui compilator de prolog puternic, dar gratuit, cu rezolvare a constrângerilor pe domenii finite, atunci nu căutați mai departe decât GNU Prolog pe 32 de biți! Cu dimensiunile sale mici, dar capabilitățile de performanță impresionante, cuplate împreună de o interfață intuitivă cu utilizatorul, fac ca acest program să fie perfect nu numai pentru începători, ci și pentru programatorii experimentați deopotrivă!