| Wersja | 1.4.3 |
|---|---|
| Wydawca | Daniel Diaz |
| Data wydania | 8 kwi 2013 |
| Data dodania | 8 kwi 2013 |
| Wymagania systemu operacyjnego | Windows, Windows 7 |
| Wymagania | None |
| Całkowita liczba pobrań | 1 943 |
| Cena £ | Free |
Opis
GNU Prolog to darmowy kompilator Prologu z rozwiązywaniem ograniczeń w skończonych domenach. GNU Prolog akceptuje Prolog z programami ograniczającymi i tworzy natywne binaria (tak jak robi to gcc ze źródła C). Otrzymany plik wykonywalny jest wtedy samodzielny. Rozmiar tego pliku wykonywalnego może być niewielki, ponieważ GNU Prolog może uniknąć łączenia kodu większości nieużywanych predykatów wbudowanych. Wydajność GNU Prolog jest bardzo zachęcająca (porównywalna z systemami komercyjnymi). Oprócz kompilacji kodu natywnego, GNU Prolog oferuje klasyczny interpreter (najwyższego poziomu) z debuggerem.
Część Prologa jest zgodna ze standardem ISO dla Prologa z wieloma rozszerzeniami bardzo przydatnymi w praktyce (zmienne globalne, interfejs systemu operacyjnego i gniazda). GNU Prolog zawiera również wydajne narzędzie do rozwiązywania ograniczeń w domenach skończonych (FD). Otwiera to użytkownikowi możliwość programowania logiki z ograniczeniami, łącząc moc programowania z ograniczeniami z deklaratywnością programowania logicznego. Funkcje obejmują zgodność ze standardem ISO dla Prologa, możliwość edycji linii pod interaktywnym interpreterem z uzupełnianiem na atomach, dwukierunkowy interfejs między Prologiem i C, kompilator natywnego kodu tworzący samodzielne pliki wykonywalne, prosty kompilator wiersza poleceń akceptujący różne pliki, predefiniowane więzy: więzy arytmetyczne, więzy logiczne, więzy symboliczne i więzy zreifikowane, predefiniowana heurystyka wyliczenia, a użytkownik może zdefiniować własne nowe więzy.
