SWI Prolog (64-bit)

SWI-Prolog bietet ein umfassendes Free Software Prolog-Umgebung, die schnelle Zusammenstellung, robust und frei von Speicherlecks, unbegrenzte integer und rationale Zahl Arithmetik basierend auf GMP-Bibliothek und eine flexible und schnelle Schnittstelle an den C- und C ++ Funktionen - Sprache . Es mit Interface-Bibliotheken für Java (JPL), ODBC, TCP / IP-Sockets, SSL und CGI Formularverarbeitung gebündelt und es hat umfassende Reihe von eingebauten Prädikate und deckt Teil 1 der ISO-Norm, der de-facto-Standard Edinburgh Prolog und wichtige Teile des Quintus und SICStus Prolog.