SWI Prolog (64-bit)

SWI-Prolog erbjuder ett omfattande fri programvara Prolog miljö, som har snabb sammanställning, robusta och fria från minnesläckor, obegränsad heltal och rationellt tal aritmetik baserat på GMP bibliotek och flexibla och snabba gränssnitt till C- och C ++ - Språk . Det medföljer bibliotek gränssnitt för Java (JPL), ODBC, TCP / IP-socklar, SSL, och CGI formulär hantering och har omfattande uppsättning inbyggda predikat, som omfattar del 1 i ISO-standarden, de-facto Edinburgh Prolog standard och viktiga delar av Quintus och SICStus Prolog.