SWI Prolog (32-bit) Spesifikasjoner
|
Utvikle og implementere logikkprogrammer og applikasjoner .
FromSWI-Prolog: SWI-Prolog tilbyr et omfattende Free Software Prolog-miljø, som har rask kompilering, robust og fri for minnelekkasjer, ubundet heltall og rasjonelt antall aritmetikk basert på GMP-bibliotek, og fleksibelt og raskt grensesnitt til C- og C ++- Språk. Den kombineres med grensesnittbiblioteker for Java (JPL), ODBC, TCP / IP-stikkontakter, SSL og CGI-formbehandling, og den har omfattende sett med innebygde predikater som dekker del 1 av ISO-standarden, de-facto Edinburgh Prolog-standarden og viktige deler av Quintus og SICStus Prolog .
Last ned (10.04MB)