GNU Prolog (32-bit)

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

Rating: 1.0/5 (Total Votes: 2)

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

Parser Generator
Parser Generator

29 Oct 15

ElementInspector
ElementInspector

10 Jul 15

Emergence Basic
Emergence Basic

10 Jul 15

Visual TFT
Visual TFT

7 May 15

Inne programy z deweloperem Daniel Diaz

Komentarze do GNU Prolog (32-bit)

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