SWI Prolog (64-bit) 6.4

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...