SWI Prolog (64-bit) Specifikationer
|
Utveckla och implementera logiska program och applikationer .
FromSWI-Prolog: SWI-Prolog erbjuder en omfattande fri programvara Prolog miljö, som har snabb sammanställning, robust och kostnadsminnesläckor, obegränsad heltal och rationellt tal aritmetik baserat på GMP bibliotek och flexibel och snabb gränssnitt till C- och C ++ - Språk. Det medföljer bibliotek gränssnitt för Java (JPL), ODBC, TCP / IP-socklar, SSL, och CGI formulärhantering och har omfattande uppsättning inbyggda predikat, som omfattar del 1 i ISO-standarden, de-facto Edinburgh Prolog standard och viktiga delar av Quintus och SICStus Prolog .
Ladda ner (10.53MB)