SWI Prolog (64-bit)

SWI-Prolog tarjoaa kattavan Free Software Prolog ympäristö, jossa on nopea kokoaminen, vankka ja vapaa muisti vuotaa, rajaton kokonaisluku ja järkevä määrä aritmeettinen perustuu GMP kirjasto ja joustava ja nopea käyttöliittymä C- ja C ++ - kieli . Se kylkiäisenä käyttöliittymä kirjastojen Java (JPL), ODBC, TCP / IP pistorasiat, SSL, ja CGI muoto käsittely ja se on kattava joukko sisäänrakennettu predikaatit, joka kattaa osan 1 ISO-standardin, de-facto Edinburgh Prolog standardi ja tärkeä osa Quintus ja SICStus Prolog.