SWI Prolog (32-bit) Especificaciones
|
Desarrollar e implementar programas y aplicaciones lógicas
FromSWI-Prolog: SWI-Prolog ofrece un entorno completo de software libre Prolog, que cuenta con compilación rápida, robusta y libre de pérdidas de memoria, entero ilimitado y aritmética de números racionales basados en la biblioteca GMP y una interfaz flexible y rápida para C- y C ++ - Idioma. Incluye bibliotecas de interfaces para Java (JPL), ODBC, sockets TCP / IP, SSL y manejo de formularios CGI y cuenta con un conjunto completo de predicados integrados que cubren la parte 1 de la norma ISO, el estándar de facto de Edimburgo Prolog y partes importantes de Quintus y SICStus Prolog .
Descarga (10.04MB)