SWI Prolog (64-bit)

SWI-Prolog tilbyr et omfattende Free Software Prolog miljø, som har rask kompilering, robuste og gratis av minnelekkasjer, ubegrenset heltall og rasjonelt antall aritmetikk basert på GMP bibliotek og fleksibel og rask grensesnitt til C- og C ++ - Språk . Det følger med grensesnitt biblioteker for Java (JPL), ODBC, TCP / IP-sockets, SSL, og CGI skjema håndtering og det har omfattende sett av innebygde predikater, som dekker del 1 av ISO-standarden, den de-facto Edinburgh Prolog standard og viktige deler av Quintus og SICStus Prolog.