SWI Prolog (64-bit)

SWI-Prolog bied 'n omvattende Vrye Sagteware Prolog omgewing, wat beskik oor 'n vinnige samestelling, robuuste en vry van die geheue lekkasies, ongeleide heelgetal en rasionale getal rekenkundige gebaseer op GMP biblioteek, en buigsame en vinnige koppelvlak tot die C- en C ++ - taal . Dit saam met koppelvlak biblioteke vir Java (JPL), ODBC, TCP / IP voetstukke, SSL, en CGI vorm hantering en dit het omvattende stel ingeboude predicaten, wat Deel 1 van die ISO standaard, die de-facto Edinburgh Prolog standaard en belangrike dele van Quintus en SICStus Prolog.