SWI Prolog (64-bit)

SWI-Prolog offre un ambiente Free Software Prolog completo, che dispone di rapida compilazione, perdite di memoria robusti e gratuitamente, integer illimitata e numero razionale aritmetica basato sulla libreria GMP, e l'interfaccia flessibile e veloce per la C e C ++ - Lingua . E in bundle con le librerie di interfaccia per Java (JPL), ODBC, socket TCP / IP, SSL, e la forma CGI manipolazione e ha serie completa di predicati built-in, che copre parte 1 della norma ISO, lo standard de-facto Edimburgo Prolog e parti importanti del Quinto e SICStus Prolog.