SWI Prolog (64-bit) Technische Daten
|
Entwickeln und Logikprogrammen und Anwendungen implementieren .
FromSWI-Prolog: SWI-Prolog bietet eine umfassende Free Software Prolog-Umgebung, die schnelle Erstellung, robust und frei von Speicherlecks, unbegrenzt integer und rationale Zahl Arithmetik Funktionen basierend auf GMP-Bibliothek und eine flexible und schnelle Schnittstelle zum C- und C ++ - Sprache. Es gebündelt mit Interface-Bibliotheken für Java (JPL), ODBC, TCP / IP-Sockets, SSL und CGI-Form Handhabung und es hat umfassende Reihe von integrierten in Prädikate, Teil Abdeckung 1 der ISO-Norm, die de-facto Edinburgh Prolog-Standard und wichtige Teile des Quintus und SICStus Prolog .
Download (10.53MB)