SWI -Prolog - SWI-Prolog
| Alkuperäinen kirjoittaja (t) | Jan Wielemaker |
|---|---|
| Kehittäjä (t) | Jan Wielemaker, Anjo Anjewierden jne |
| Ensimmäinen julkaisu | 1987 |
| Vakaa julkaisu | 8.2.4 / 27. tammikuuta 2021
|
| Esikatsele julkaisua | 8.3.28 / 4. elokuuta 2021
|
| Kirjoitettu sisään | C , Prolog |
| Käyttöjärjestelmä | Monialustainen |
| Saatavilla | Englanti |
| Tyyppi | Looginen ohjelmointi |
| Lisenssi | Yksinkertaistettu BSD , LGPL ennen versiota 7.3.33 |
| Verkkosivusto | swi-prolog |
SWI-Prolog on ilmainen Prolog- ohjelmointikielen toteutus , jota käytetään yleisesti opetuksessa ja semanttisissa verkkosovelluksissa . Sillä on runsaasti erilaisia ominaisuuksia, kirjastoja varten rajoitus logiikkaohjelmoinnin , multithreading , yksikkötestaus , GUI , tukikangas Java , ODBC ja muiden lukutaitoisia ohjelmointi , joka on web-palvelin , SGML , RDF , RDFS , kehitystyökalut (mukaan lukien IDE kanssa GUI debugger ja GUI profiler ) ja laaja dokumentaatio.
SWI-Prolog toimii Unix- , Windows- , Macintosh- ja Linux- alustoilla.
SWI-Prolog on kehittynyt jatkuvasti vuodesta 1987. Sen pääkirjoittaja on Jan Wielemaker.
Nimi SWI on peräisin Sociaal-Wetenschappelijke Informaticasta ("Social Science Informatics"), joka oli ryhmän entinen nimi Amsterdamin yliopistossa , jossa Wielemaker työskentelee. Tämän ryhmän nimi on muuttunut HCS: ksi (Human-Computer Studies).
Web -kehys
SWI-Prolog asentaa Web-kehyksellä, joka perustuu tiettyihin lauseke-kielioppeihin .
Hajautettu tietojenkäsittely
SWI-Prolog-kyselyt voidaan jakaa useille palvelimille ja verkkosivuille Pengines-järjestelmän kautta.
XPCE
XPCE on alustasta riippumaton olio GUI Toolkit for SWI-Prolog, Lisp ja muita vuorovaikutteisia ja dynaamisesti kirjoitettu kielellä . Vaikka XPCE on suunniteltu kielistä riippumattomaksi, se on saavuttanut suosiota enimmäkseen Prologin kanssa. XPCE-graafisten työkalujen kehittäminen alkoi vuonna 1987 yhdessä SWI-Prologin kanssa.
Se tukee painikkeet , valikot , liukusäätimiä , välilehdet ja muut perustiedot GUI vekottimet . XPCE on saatavana kaikille SWI-Prologin tukemille alustoille.
PceEmacs
PceEmacs on sisäänrakennettu SWI-Prolog-editori. PceEmacs on Prologissa (ja XPCE: ssä) toteutettu Emacs -klooni. Se tukee oikeaa sisennystä , syntaksin korostusta , täydellistä syntaksin tarkistusta kutsumalla SWI-Prolog- jäsennintä , varoitusta yksittäisistä muuttujista ja etsimällä määrittelemiä määritelmiä Prolog-tietokannan lähdetietojen perusteella.
Rajapinta Java ja Prolog (JPL)
JPL on kaksisuuntainen käyttöliittymä Javan ja Prologin välillä. Se vaatii sekä SWI-Prologin että Java SDK: n . Se on asennettu osana SWI-Prologia.
Rajoittavat logiikan ohjelmointikirjastot (CLP)
Rajoittavan logiikan ohjelmointitoiminnallisuus tuli melko myöhään SWI-Prologin käyttöiän aikana, koska siitä puuttui perustuki. Tämä muuttui vuoden 2004 alussa, kun kieleen lisättiin määritettyjä muuttujia. Leuvenin CHR-kirjasto oli silloin ensimmäinen CLP-kirjasto, joka siirrettiin SWI-Prologiin. Mainitsemme SWI-Prologin INCLP (R) -kirjaston (De Koninck et al. 2006), joka tarjoaa epälineaarisia rajoituksia todellisuudelle ja joka toteutettiin CHR: n lisäksi. Myöhemmin tuli satama Christian Holzbaurin CLP (QR) -kirjastoa ja äärellisen alueen CLP (FD) -ratkaisija. Lopuksi lisättiin boolean CLP (B) -ratkaisija.
