SWI Prolog (64-bit) Especificações
|
Desenvolver e implementar programas lógicos e aplicações .
FromSWI-Prolog: SWI-Prolog oferece um ambiente de Software Livre Prolog abrangente, que apresenta a compilação rápida, robusta e livre de vazamentos de memória, inteiro ilimitada e número racional aritmética com base na biblioteca GMP e flexível e interface rápida ao C e C ++ - Língua. É empacotado com as bibliotecas de interface para Java (JPL), ODBC, sockets TCP / IP, SSL, e manuseio forma CGI e tem amplo conjunto de predicados embutidos, cobrindo Parte 1 da norma ISO, o padrão de-facto Edinburgh Prolog e partes importantes de Quintus e SICStus Prolog .
Baixar (10.53MB)