GNU Prolog (64-bit)

Descriere

GNU Prolog este un compilator Prolog gratuit cu rezolvare de constrângeri pe domenii finite. GNU Prolog acceptă Prolog cu programe de constrângere și produce binare native (cum face gcc dintr-o sursă C). Executabilul obținut este apoi autonom. Dimensiunea acestui executabil poate fi mică, deoarece GNU Prolog poate evita legarea codului celor mai multe predicate încorporate neutilizate. Performanțele GNU Prolog sunt foarte încurajatoare (comparabile cu sistemele comerciale). Pe lângă compilarea codului nativ, GNU Prolog oferă un interpret clasic (nivel superior) cu un depanator.

Partea Prolog este conformă cu standardul ISO pentru Prolog cu multe extensii foarte utile în practică (variabile globale, interfață OS și socket-uri). 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. Caracteristicile includ conformitatea cu standardul ISO pentru Prolog, facilitate de editare de linie sub interpretul interactiv cu completare pe atomi, interfață bidirecțională între Prolog și C, compilator de cod nativ care produce executabile de sine stătătoare, compilator simplu de linie de comandă care acceptă o varietate de fișiere, predefinit constrângeri: constrângeri aritmetice, constrângeri booleene, constrângeri simbolice și constrângeri reificate, euristici de enumerare predefinite, iar utilizatorul își poate defini propriile constrângeri noi.