SWI Prolog (64-bit)

SWI-Prolog ofrece un entorno de software libre Prolog integral, que cuenta con la compilación rápida, robusta y libre de fugas de memoria, entero sin límites y la aritmética número racional basado en la librería GMP, y una interfaz flexible y rápido para el C y C ++ - Idioma . Se incluye con las bibliotecas de interfaz para Java (JPL), ODBC, sockets TCP / IP, SSL y manejo de formularios CGI y tiene amplio conjunto de predicados incorporados, que cubre la parte 1 de la norma ISO, el estándar de facto Edimburgo Prolog y partes importantes de Quinto y SICStus Prolog.