SWI Prolog (64-bit) v6.4
Élaborer et mettre en œuvre des programmes et applications logiques .
SWI Prolog (64-bit) Note de la rédaction
FromSWI-Prolog: SWI-Prolog offre un environnement logiciel libre Prolog complet, qui comprend la compilation rapide, robuste et exempt de fuites de mémoire, nombre entier sans limite et nombre rationnel arithmétique basé sur la bibliothèque GMP, et flexible et une interface rapide pour le C et C ++ - La langue. Il fourni avec les bibliothèques d'interface pour Java (JPL), ODBC, sockets TCP / IP, SSL, et la forme CGI manipulation et il a ensemble complet de prédicats, couvrant la partie 1 de la norme ISO, la norme de facto Edinburgh Prolog et des parties importantes de Quintus et SICStus Prolog .
Télécharger (10.53MB)
Similar Suggested Software