SWI Prolog (64-bit)

SWI-Prolog oferuje kompleksowe środowisko Wolnego Oprogramowania Prolog, który oferuje szybką kompilację, solidnych i wolne od wycieków pamięci, nieograniczoną liczbę całkowitą i numer racjonalnego działania arytmetyczne na podstawie biblioteki GMP i elastyczny i szybki interfejs do C- i C ++ - język , To pakiecie z bibliotek interfejsu dla Java (JPL), ODBC, gniazd TCP / IP, SSL i CGI obsługi formularza i posiada kompleksowy zestaw wbudowanych predykatów, obejmujące część 1 normy ISO, de facto standardem Edinburgh Prolog i ważne elementy Quintus i SICStus Prologu.