| SWI Prolog | |
|---|---|
| Nyelvóra | Logikai programozás |
| A végrehajtás típusa | értelmezés |
| Megjelent | 1987 |
| Szerző | Jan Wielemaker |
| Fejlesztő | Jan Wielemaker [d] |
| Kiadás | 8.4.0 (2021. szeptember 30.) |
| Teszt verzió | 8.5.1 |
| Típusrendszer | dinamikus |
| Főbb megvalósítások | SWI Prolog |
| Engedély | 2 szakaszos BSD-licenc [1] [2] [3] |
| Weboldal | swi-prolog.org |
| OS | GNU/Linux [3] , BSD [3] , macOS [3] , Microsoft Windows [3] és Android [3] |
| Médiafájlok a Wikimedia Commons oldalon | |
Az SWI-Prolog a Prolog programozási nyelv ingyenes (nyílt forráskódú) megvalósítása , amelyet gyakran használnak tanításra és szemantikus webes alkalmazásokra .
Ez a megvalósítás gazdag szolgáltatáskészletet, könyvtárakat biztosít a korlátozott logikai programozáshoz, többszálú , egységteszt , GUI , interfész a Java programozási nyelvhez , ODBC stb., támogatja az irodalmi programozást , tartalmaz egy webszerver implementációt , könyvtárakat SGML , RDF , RDFS számára, fejlesztői eszközöket (beleértve az IDE -t grafikus hibakeresővel és profilozóval ) és kiterjedt dokumentáció.
Az SWI-Prolog Unix , Windows és Macintosh platformokon fut .
Az SWI-Prolog 1987-es megalakulása óta folyamatosan fejlődik. Alkotója és fő fejlesztője Jan Wilemaker. Az SWI név a Sociaal-Wetenschappelijke Informatica ("Társadalomtudományi Informatika") nevéből származik, amely az Amszterdami Egyetemen működő csoport eredeti neve , ahol Wielemaker dolgozik. Később ennek a csoportnak a nevét HCS -re (Human-Computer Studies) változtatták.
Az XPCE egy platformfüggetlen grafikus felhasználói felület eszközkészlet SWI-Prolog, Lisp és más interaktív , dinamikusan tipizált programozási nyelvekhez. Bár az XPCE-t nyelv-agnosztikusnak szánták, a keretrendszer a Prologgal vált a legnépszerűbbé. Az XPCE grafikus könyvtár fejlesztése 1987-ben kezdődött, az SWI-Prologon végzett munka megkezdésével összefüggésben.
Támogatja a gombokat , menüket , csúszkákat, lapokat és más alapvető grafikus felületi widgeteket . Az XPCE az SWI-Prolog által támogatott összes platformon elérhető.
A PceEmacs egy SWI-Prolog környezetbe épített szövegszerkesztő. A PceEmacs egy Emacs - klón , amelyet Prolog-ban (és XPCE-ben) írtak. Támogatja az automatikus behúzást , a szintaktikai kiemelést , a teljes szintaktikai ellenőrzést az SWI-Prolog értelmező meghívásával , az egytagú változókra vonatkozó figyelmeztetéseket és a predikátumdefiníciók forráskódon alapuló keresését a Prolog adatbázisban.