SWI Prolog (64-bit)

SWI-Prolog menawarkan lingkungan Free Software Prolog komprehensif, yang menampilkan kompilasi cepat, kebocoran memori yang kuat dan bebas dari, bilangan bulat tak terbatas dan nomor rasional aritmatika berdasarkan perpustakaan GMP, dan fleksibel dan cepat antarmuka ke C dan C ++ - Bahasa . Ini dibundel dengan perpustakaan antarmuka Java (JPL), ODBC, TCP / IP socket, SSL, dan CGI bentuk penanganan dan memiliki seperangkat built-in predikat, yang meliputi Bagian 1 dari standar ISO, standar de-facto Edinburgh Prolog dan bagian penting dari Quintus dan SICStus Prolog