SWI Prolog (64-bit) Erittelyt
|
Kehittää ja toteuttaa logiikan ohjelmia ja sovelluksia .
FromSWI-Prolog: SWI-Prolog tarjoaa kattavan Free Software Prolog ympäristössä, jossa on nopea kokoaminen, vankka ja vailla muistivuotoja, rajaton kokonaisluku ja Rationaaliluku aritmeettinen perustuu GMP kirjasto ja joustava ja nopea liitäntä C- ja C ++ - Kieli. Se kytköksissä liitäntä kirjastoja Java (JPL), ODBC, TCP / IP pistorasiat, SSL, ja CGI muoto käsittely ja sillä on kattava joukko sisäänrakennettu predikaatteihin, joka kattaa osan 1 ISO standardin, de-facto Edinburgh Prolog standardi ja tärkeä osa Quintus ja SICStus Prolog .
Lataa (10.53MB)