SWI Prolog (64-bit)

SWI-Prolog kínál átfogó Free Software Prolog környezetet, amelyben funkciók gyors összeállítása, robusztus és mentes a memóriavesztés, kötetlen egész és racionális szám számtani alapján GMP könyvtár, valamint rugalmas és gyors interfész a C- és C ++ - Nyelv . Ez csomagban interface könyvtárak Java (JPL), ODBC, TCP / IP socket, SSL, és CGI formában kezelése és azt átfogó beépített predikátumok, amely 1. része az ISO szabvány, a de-facto Edinburgh Prolog szabvány és fontos részei Quintus és SICStus Prolog.