SWI Prolog (64-bit)

SWI-Prolog hızlı derleme, sağlam ve serbest hafıza sızıntıları, sınırsız tamsayı ve GMP kütüphanesine dayalı rasyonel sayı aritmetik ve C- ve C ++ esnek ve hızlı bir arayüz özellikleri kapsamlı bir Özgür Yazılım Prolog ortamı sunmaktadır - Language . Bu Java (JPL), ODBC, TCP / IP yuvaları, SSL, ve CGI formu işleme için arayüz kütüphaneleri ile birlikte ve ISO standardının Bölüm 1 kapsayan, yerleşik yüklemler kapsamlı kümesi vardır, de-facto Edinburgh Prolog standardı ve Quintus ve SICStus Prolog önemli parçaları.