SWI Prolog (64-bit)

SWI-Prolog oferă un mediu de Free Software Prolog cuprinzător, care oferă compilare rapid, pierderi de memorie robuste și libere de, întreg nelimitat și numărul de aritmetică rațională bazată pe biblioteca GMP, precum și interfață flexibilă și rapid la C- și C ++ - Limba . Acesta pachet cu biblioteci de interfață pentru Java (JPL), ODBC, prize TCP / IP, SSL, iar manipularea formă CGI și are set complet de predicate built-in, care acoperă partea 1 a standardului ISO, standardul de facto Edinburgh Prolog și părți importante ale Quintus și SICStus Prolog.