GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bitowy) to potężny i darmowy kompilator Prologu, który oferuje rozwiązywanie ograniczeń w skończonych domenach. To oprogramowanie jest przeznaczone dla programistów, którzy muszą z łatwością tworzyć złożone programy. GNU Prolog akceptuje Prolog z programami z ograniczeniami i tworzy natywne pliki binarne, tak jak robi to gcc ze źródła C. Otrzymany plik wykonywalny jest wówczas samodzielny, co oznacza, że ​​można go uruchomić na dowolnym komputerze bez konieczności instalowania dodatkowego oprogramowania czy bibliotek.

Jedną z najważniejszych zalet GNU Prolog są jego niewielkie rozmiary. Ponieważ to oprogramowanie może uniknąć łączenia kodu większości nieużywanych wbudowanych predykatów, rozmiar pliku wykonywalnego może być bardzo mały. To czyni go idealnym rozwiązaniem dla programistów, którzy chcą tworzyć lekkie aplikacje, które nie zajmują zbyt dużo miejsca na komputerach użytkowników.

Wydajność GNU Prolog jest również bardzo zachęcająca i porównywalna z systemami komercyjnymi. Oznacza to, że możesz polegać na tym oprogramowaniu, które zapewnia szybkie i wydajne wyniki za każdym razem, gdy go używasz.

Oprócz kompilacji kodu natywnego, GNU Prolog oferuje klasyczny interpreter (najwyższego poziomu) z debuggerem. Interpreter umożliwia interaktywne testowanie kodu i debugowanie wszelkich problemów pojawiających się podczas programowania.

Część Prolog jest zgodna ze standardem ISO dla Prolog z wieloma rozszerzeniami bardzo przydatnymi w praktyce (zmienne globalne, interfejs OS i gniazda). Oznacza to, że możesz polegać na tym oprogramowaniu, które zapewnia wiarygodne wyniki za każdym razem, gdy go używasz.

GNU Prolog zawiera również wydajne narzędzie do rozwiązywania ograniczeń w skończonych domenach (FD). To otwiera programowanie w logice z ograniczeniami dla użytkownika łączącego moc programowania z ograniczeniami z deklaratywnością programowania logicznego.

Cechy:

- Zgodny z normą ISO dla prologu

- Możliwość edycji linii w interaktywnym tłumaczu z uzupełnianiem na atomach

- Dwukierunkowy interfejs między prologiem a C

- Kompilator kodu natywnego tworzący samodzielne pliki wykonywalne

- Prosty kompilator wiersza poleceń akceptujący różne pliki

- Predefiniowane ograniczenia: ograniczenia arytmetyczne, ograniczenia boolowskie, ograniczenia symboliczne, ograniczenia zreifikowane.

- Predefiniowane heurystyki wyliczania.

- Nowe ograniczenia zdefiniowane przez użytkownika

W podsumowaniu:

Jeśli szukasz potężnego, ale darmowego kompilatora prologu z rozwiązywaniem ograniczeń w skończonych domenach, nie szukaj dalej niż 32-bitowy prolog GNU! Dzięki niewielkim rozmiarom, ale imponującym możliwościom wydajności w połączeniu z intuicyjnym interfejsem użytkownika, ten program jest idealny zarówno dla początkujących, jak i doświadczonych programistów!