SWI Prolog (32-bit) Specifikationer
|
Utveckla och implementera logikprogram och applikationer .
FromSWI-Prolog: SWI-Prolog erbjuder en omfattande Free Software Prolog-miljö som innehåller snabb kompilering, robust och fri från minnesläckor, obegränsat heltal och rationellt antal aritmetik baserat på GMP-bibliotek och flexibelt och snabbt gränssnitt till C- och C ++- Språk. Den kombineras med gränssnittsbibliotek för Java (JPL), ODBC, TCP / IP-uttag, SSL och CGI-formhantering och har en omfattande uppsättning inbyggda predikat som täcker del 1 av ISO-standarden, de facto Edinburgh Prolog-standarden och viktiga delar av Quintus och SICStus Prolog .
Ladda ner (10.04MB)