SWI Prolog (64-bit)

SWI-Prolog tilbyder et omfattende fri software Prolog miljø, som har hurtig kompilering, robuste og fri for memory leaks, ubegrænset heltal og rationel nummer aritmetiske baseret på GMP bibliotek og fleksibel og hurtig interface til C- og C ++ - sprog . Det bundtet med interface biblioteker til Java (JPL), ODBC, TCP / IP sockets, SSL, og CGI formular håndtering og det har omfattende sæt af indbyggede prædikater, der dækker del 1 i ISO-standarden, de-facto Edinburgh Prolog standard og vigtige dele af Quintus og SICStus Prolog.