SWI Prolog (64-bit)

SWI-Prolog siūlo visapusišką nemokama programinė įranga, Prolog aplinką, kuri pasižymi sparčiu kompiliaciją, patikimas ir nemokamai Atminties nutekėjimas, neribotą sveikasis skaičius ir racionalų skaičių aritmetinis remiantis GMP bibliotekoje ir lanksčią ir greitą sąsają su C- ir C ++ - Kalba , Tai siejama su sąsajos bibliotekų Java (JPL), ODBC, TCP / IP lizdus, ​​SSL ir CGI formos tvarkymo ir ji turi išsamų rinkinį įmontuotais predikatai, apimanti 1 dalis ISO standartą, de facto Edinburgas Prolog standartas ir svarbių dalys Quintus ir SICStus Prolog.