SWI-Prolog - SWI-Prolog - Wikipedia

SWI-Prolog
Původní autořiJan Wielemaker
VývojářiJan Wielemaker, Anjo Anjewierden atd
První vydání1987; Před 33 lety (1987)
Stabilní uvolnění
8.2.3 / 23. listopadu 2020; Před 25 dny (2020-11-23)
Náhled verze
8.3.15 / 14. prosince 2020; 4 dny zpátky (2020-12-14)
NapsánoC, Prolog
Operační systémCross-platform
K dispozici vAngličtina
TypLogické programování
Licence Zjednodušená BSD, LGPL před verzí 7.3.33
webová stránkaswi-prolog.org

SWI-Prolog je volný, uvolnit provádění programovací jazyk Prolog, běžně používané pro výuku a sémantický web aplikace. Má bohatou sadu funkcí, knihovny pro logické programování omezení, multithreading, testování jednotky, GUI, rozhraní s Jáva, ODBC a další, gramotné programování, a webový server, SGML, RDF, RDFS, vývojářské nástroje (včetně IDE s grafickým uživatelským rozhraním debugger a GUI profiler ) a rozsáhlou dokumentaci.

SWI-Prolog běží dál Unix, Okna, Macintosh a Linux platformy.

SWI-Prolog se neustále vyvíjí od roku 1987. Jeho hlavním autorem je Jan Wielemaker.

Název SWI je odvozen od Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), dřívější název skupiny v University of Amsterdam, kde je zaměstnán Wielemaker. Název této skupiny se změnil na HCS (Human-Computer Studies).

Webový rámec

SWI-Prolog se instaluje s webový rámec na základě gramatiky určité věty.[1]

Distribuované výpočty

Dotazy SWI-Prolog mohou být distribuovány na několik serverů a webových stránek prostřednictvím systému Pengines.[2]

XPCE

XPCE je a nezávislý na platformě objektově orientovaný[3] Sada nástrojů GUI pro SWI-Prolog, Lisp a další interaktivní a dynamicky psané jazyky. Ačkoli XPCE byl navržen tak, aby byl nezávislý na jazyce, získal si popularitu hlavně u Prologu. Vývoj grafických nástrojů XPCE začal v roce 1987 společně se SWI-Prolog.

Podporuje to tlačítka, nabídky, posuvníky, záložky a další základní Widgety GUI. XPCE je k dispozici pro všechny platformy podporované SWI-Prolog.

PceEmacs

PceEmacs je vestavěný editor SWI-Prolog. PceEmacs je Emacs klon implementovaný v Prologu (a XPCE). Podporuje správné odsazení, zvýraznění syntaxe, úplná kontrola syntaxe voláním SWI-Prolog analyzátor, varování pro singletonové proměnné a hledání definic predikátů na základě zdrojových informací z databáze Prolog.

Rozhraní mezi Javou a Prologem (JPL)

JPL je obousměrné rozhraní mezi Javou a Prologem.[4] Vyžaduje SWI-Prolog a Java SDK.[5] Je nainstalován jako součást SWI-Prolog.

Knihovny logického programování omezení (CLP)

Funkce logického programování s omezeními přišla během života SWI-Prolog poměrně pozdě, protože postrádala základní podporu[6]. To se změnilo počátkem roku 2004, kdy byly do jazyka přidány přiřazené proměnné. Knihovna Leuven CHR byla poté první knihovnou CLP, která byla přenesena do SWI-Prolog. Zmínili jsme knihovnu INCLP® společnosti SWI-Prolog (De Koninck et al. 2006), která poskytuje nelineární omezení nad realitou a byla implementována nad CHR. Později přišel přístav knihovny CLP (QR) Christiana Holzbaura a řešitel CLP (FD) s konečnou doménou. Nakonec byl přidán logický řešič CLP (B)[7].

Viz také

Reference

  1. ^ Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens (2008). „SWI-Prolog a web“ (PDF). Teorie a praxe logického programování. 8 (3): 363–392. doi:10.1017 / S1471068407003237.
  2. ^ Wielemaker, Jan; Lager, Torbjorn (14. května 2014). „Pengines: Snadné programování WebLogic“. Teorie a praxe logického programování. 14 (zvláštní číslo 4–5): 539–552. arXiv:1405.3953. doi:10.1017 / S1471068414000192.
  3. ^ Programování v XPCE / Prolog.
  4. ^ Paul Singleton, Fred Dushin, Jan Wielemaker (únor 2004). „JPL: Obousměrné rozhraní Prolog / Java“. SWI-Prolog.CS1 maint: používá parametr autoři (odkaz)
  5. ^ Paul Singleton (únor 2004). "Instalace JPL 3.x". SWI-Prolog.
  6. ^ Jan Wielemaker, Tom Schrijvers, Markus Triska, Torbjörn Lager: SWI-Prolog. TPLP 12 (1–2): 67–96 (2012).
  7. ^ Markus Triska: Boolean Constraint Solver of SWI-Prolog (System Description). FLOPS 2016: 45–61.

externí odkazy