GNU Prolog (64-bit)

Screenshot Software:
GNU Prolog (64-bit)
Szczegóły programowe:
Wersja: 1.4.3
Filmu: 23 Jan 15
Wywoływacz: Daniel Diaz
Licencja: Wolny
Popularność: 731
Rozmiar: 4677 Kb

Rating: 4.0/5 (Total Votes: 1)

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

Obsługiwane systemy operacyjne

Podobne oprogramowanie

Soap Generate Gear
Soap Generate Gear

12 Jul 15

Janino
Janino

1 Jan 15

BFC Automata
BFC Automata

29 Oct 15

RapidBATCH
RapidBATCH

25 Oct 15

Inne programy z deweloperem Daniel Diaz

Komentarze do GNU Prolog (64-bit)

Komentarze nie znaleziono
Dodaj komentarz
Włącz zdjęć!