SWI Prolog (64-bit)

SWI-Prolog biedt een uitgebreide Free Software Prolog omgeving, die een snelle compilatie, robuust en vrij van geheugenlekken, onbegrensde integer en rationeel aantal rekenkundige basis van GMP bibliotheek en flexibele en snelle interface naar de C- en C ++ functies - Taal . Het gebundeld met interface bibliotheken voor Java (JPL), ODBC, TCP / IP-sockets, SSL, en CGI vorm handling en het heeft uitgebreide set van ingebouwde predikaten, die deel 1 van de ISO-norm, de de-facto Edinburgh Prolog standaard en belangrijke delen van Quintus en SICStus Prolog.