GNU Prolog jest wolny kompilator Prolog z przymusu rozwiązywania nad domen skończone. GNU Prolog akceptuje Prolog z programami więzów i produkuje rodzimych plików binarnych (jak gcc nie ze źródła C). Następnie otrzymany plik wykonywalny jest samodzielny. Rozmiar pliku wykonywalnego mogą być małe, ponieważ GNU Prolog może uniknąć łączenia kodu z najbardziej niewykorzystanych wbudowanych predykatów. Występy GNU Prolog są bardzo zachęcające (porównywalne do systemów komercyjnych). Obok kompilacji kodu natywnego GNU Prolog oferuje klasyczny tłumacza (najwyższego poziomu) z debuggera.
Prolog część jest zgodna ze standardem ISO dla Prologu z wielu rozszerzeń bardzo przydatnych w praktyce (zmienne globalne, Interfejs OS i gniazda). GNU Prolog zawiera również efektywne ograniczenie Solver nad skończonych dziedzin (FD). To otwiera programowania logicznego wiązania dla użytkownika, łącząc moc programowania więzów z declarativity programowania logicznego. Funkcje obejmują zgodność z normą ISO dla Prologu, zakładu edycji linii w ramach interaktywnej tłumacza z zakończeniem na atomach, dwukierunkowy interfejs między Prolog i C, kod natywny kompilator produkcji samodzielnych plików wykonywalnych, proste wiersza polecenia kompilator przyjmowanie różnych plików, predefiniowanego Ograniczenia:. arytmetyczne, logiczne utrudnienia, ograniczenia związane, symboliczne ograniczenia i reified ograniczeń, predefiniowane heurystyki wyliczenie i użytkownik może zdefiniować swoje własne nowe ograniczenia
Komentarze nie znaleziono