GNU Prolog este un compilator gratuit Prolog cu constrângere rezolvarea peste domenii finite. GNU Prolog Prolog acceptă cu programele de constrângere și produce binare native (cum ar fi GCC nu de la o sursă C). Executabil obținut este apoi stand-alone. Dimensiunea acestui executabil pot fi mici, deoarece GNU Prolog poate evita legătura între codul de mai neutilizate predicate built-in. Performanțele GNU Prolog sunt foarte incurajatoare (comparabil cu sistemele comerciale). Pe lângă nativ-cod elaborarea, GNU Prolog oferă un interpret clasic (de nivel superior), cu un program de depanare.
Partea Prolog este conform cu standardul ISO pentru Prolog cu multe extensii foarte utile în practică (variabile globale, interfață OS și prize). GNU Prolog include, de asemenea, o constrângere eficientă solver peste finite Domenii (FD). Aceasta deschide constrângere de programare logică a utilizatorului combinarea puterii de programare constrângere la declarativity de programare logică. Caracteristicile includ conform cu standardul ISO pentru Prolog, facilitatea de editare linie sub interpretul interactiv cu finalizare pe atomi, interfață bidirecțională între Prolog și C, nativ-cod compilator producătoare sta executabile singur, simplu compilator linie de comandă a accepta o varietate de fișiere, predefinite constrângeri:. constrângeri aritmetice, constrângeri booleene, constrângeri simbolice, și constrângeri reificate, euristică enumerare predefinite, și utilizatorul poate defini propriile noi constrângeri
Comentariile nu a fost găsit