SWI Prolog (32-bit) Specificaties
|
Ontwikkel en implementeer logica programma's en applicaties .
VanSWI-Prolog: SWI-Prolog biedt een uitgebreide Free Software Prolog-omgeving, die snelle compilatie bevat, robuust en vrij van geheugenlekken, onbeperkt integer en rationeel aantal rekeningen gebaseerd op GMP-bibliotheek, en flexibele en snelle interface voor de C- en C ++- Taal. Het is gebundeld met interfacebibliotheken voor Java (JPL), ODBC, TCP / IP-sockets, SSL en CGI-formulierhantering. Het bevat uitgebreide set ingebouwde predikaten, die deel 1 van de ISO-standaard, de de facto Edinburgh Prolog-standaard en belangrijke onderdelen van Quintus en SICStus Prolog .
Downloaden (10.04MB)