SWI Prolog (64-bit)

SWI-Prolog προσφέρει ένα ολοκληρωμένο περιβάλλον Prolog Ελεύθερο Λογισμικό, που χαρακτηρίζει τη γρήγορη συλλογή, ισχυρή και χωρίς διαρροές μνήμης, απεριόριστη ακέραιος αριθμός και ορθολογική βάση την αριθμητική βιβλιοθήκη GMP, και ευέλικτη και γρήγορη διασύνδεση με το C- και C ++ - Γλώσσα . Το πακέτο με τις βιβλιοθήκες διεπαφή για Java (JPL), ODBC, το πρωτόκολλο TCP / IP sockets, SSL, και CGI χειρισμού μορφή και έχει περιεκτικό σύνολο ενσωματωμένα κατηγορήματα, που καλύπτει μέρος 1 του προτύπου ISO, το de facto πρότυπο Εδιμβούργο Prolog και σημαντικά τμήματα του Quintus και SICStus Prolog.