Porovnání implementací Prologu - Comparison of Prolog implementations

Následující Porovnání implementací Prologu poskytuje odkaz na relativní sady funkcí a výkon různých implementací Prolog počítač programovací jazyk.

Přenosnost

Existuje Prolog implementace které jsou radikálně odlišné, s odlišnou syntaxí a odlišnou sémantikou (např. Visual Prolog)[1] a subkomunity se vyvinuly kolem různých implementací.[1]

Kód, který přesně odpovídá základnímu jazyku ISO-Prolog, je přenosný napříč implementacemi kompatibilními s ISO. Standard ISO pro moduly však většina implementátorů Prolog nikdy nepřijala.[1]

Mezi faktory, které mohou nepříznivě ovlivnit přenositelnost, patří: použití ohraničené vs. neomezené celočíselné aritmetiky, další typy, jako jsou řetězcové objekty, pokročilé číselné typy (racionální, komplexní), rozšíření funkcí, jako Unicode, vlákna a předložení.[2] Použití knihoven, které nejsou k dispozici v jiných implementacích a organizaci knihoven:[1]

V současné době se způsob, jakým jsou predikáty rozloženy po knihovnách a integrovaných systémech, výrazně liší. [...] Naštěstí existuje jen málo případů, kdy najdeme predikáty se stejným názvem, ale s odlišnou sémantikou (např. smazat / 3)

Hlavní rysy

PlošinaFunkceSada nástrojůProlog Mechanics
názevOSLicenceNativní grafikaZkompilovaný kódUnicodeObjektově orientovanýNativní ovládání OSSamostatný spustitelný souborRozhraní C.[3]Rozhraní Java[3]Interaktivní tlumočníkDebuggerProfiler kóduSyntax
BPrologUnix, Okna, Mac OS XZdarma pro nekomerční použitíAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog, plus zpracování událostí, CLP (FD) a předložení
JIPrologJVM, AndroidShareware / Obchodní a AGPLAnoAnoAno přes JavuAnoAno přes JavuAnoAnoAnoISO-Prolog
ČauUnix, Okna, Mac OS XGPL, LGPLAnoAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog, plus rozšíření
DOS-PROLOGMS-DOSSharewareAnoAnoAnoAnoAnoAnoEdinburgh Prolog
ZatměníLinux, Okna, Solaris, Operační Systém MacMPLAnoAnoAnoAnoAnoAnoAnoExtended Prolog, Multi-dialect, including ISO
GNU PrologUnix, Okna, Mac OS XGPL, LGPLAnoAnoAnoAnoAnoAnoISO-Prolog
Jekejeke PrologJVM, AndroidVyhodnocení distribuceAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog, Java API
JLogJVMGPLAnoAnoAnoAnoISO-Prolog
JScriptLogWebový prohlížečGPLAnoISO-Prolog
jTrologJVMLGPLAnoAnoAnoAnoISO-Prolog testy[trvalý mrtvý odkaz ]
LPA-PROLOGOknaKomerčníAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoEdinburgh Prolog s příponami
Otevřete PrologOperační Systém MacFreewareAno
Poplog PrologLinux (32 a 64 bitů), Unix, OknaZdarma otevřený zdrojPouze skrz POP-11 v systému LinuxAnoAnoAnoAnoAnoAnoEdinburgh Prolog s rozhraními pro Poplog Common Lisp a Pop-11
SICStus PrologUnix, Linux, Okna, Operační Systém MacKomerčníAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog
Jahodový prologOkna, UnixFreeware, ObchodníAnoAnoAnoAnoAnoNe rozšíření ISO-Prolog +
SWI-PrologUnix, Linux, Okna, Operační Systém MacLicence BSDAnoAnoAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog, Edinburgh Prolog
tuPrologJVM, AndroidLGPLAnoAnoAnoAnoAnoAnoISO-Prolog
Vizuální prologOknaFreeware, ObchodníAnoAnoAnoAnoAnoAnoAnoAnoAno
XSB PrologLinux, Okna, Solaris, Operační Systém MacLGPLAnoAnoAnoAnoAnoAnoAnoAnoAnoISO-Prolog, předloženo WFS
YAP-PrologLinux, Okna, Solaris, Mac OS X, HP-UXGPL nebo umělecké (volba uživatele)AnoAnoAnoAnoAnoAnoAnoAnoKompatibilní s Edinburghem, ISO-Prolog, Quintus a SICStus Prolog

Operační systém a funkce související s webem

Související s webem
názevPodmíněná kompilaceZásuvkyVícevláknovéPředloženíHTTP klientHTTP serverAnalyzátor HTMLRDF Triple store
BPrologAno
ČauAnoAnoAnoAnoAnoAnoAno
ZatměníAnoAnoAnoAnoAno
GNU PrologAno
Jekejeke PrologAnoAnoAnoAnoAno
LPA-PrologAnoAnoAnoAno
SICStus PrologAnoAnoAno
SWI-PrologAnoAnoAnoAnoAnoAnoAnoAno
Vizuální prologAnoAnoAnoAnoAnoAno
XSBAnoAnoAnoAnoAno
YAP-PrologAnoAnoAnoAno

Statická analýza

názevKontrola typuKontrola rozhodnostiKontrola vzoru volání
ČauAnoAnoAno
GNU Prolog
Jekejeke Prolog
SICStus PrologAno
SWI-PrologAno
Vizuální prologAnoAnoAno
XSB
YAP-Prolog

Optimalizace

názevOptimalizace koncového voláníVyloučení bodu volbyOřezávání prostředíJust-in-time indexování
ČauAnoAnoAno?
ZatměníAnoAnoAnovíce argumentů (čas kompilace)
GNU PrologAnoAnoAno?
Jekejeke PrologAno (runtime)Ano (runtime)Ano (runtime)Ano
SICStus PrologAnoAnoAno
SWI-PrologAnoAnoAnoAno
Vizuální prologAno (čas kompilace)Ano (čas kompilace)N / AN / A (čas kompilace)
XSBAnoAnoAno?
YAP-PrologAnoAnoAnoAno

Uvolnění

názevVerzedatum
BProlog8.12014-02-23
JIProlog4.1.6.12018-03-17
Čau1.19.02020-03-21
DOS-PROLOG6.0
Zatmění7.0_542020-02-26
GNU Prolog1.4.52018-07-14
Jekejeke Prolog1.3.12018-11-02
JLog1.3.62007-09-13
JScriptLog0,7,5 beta2007-09-10
jTrolog
LPA-PROLOG7.02019-12-19
Otevřete Prolog
Poplog PrologV15.652015-10-14
SICStus Prolog4.6.02020-05-04
Jahodový prolog3.0 Beta 42013-12-10
SWI-Prolog8.2.32020-11-23
tuProlog3.2.12017-02-14
Vizuální prolog9.0, build 9022019-04-26
XSB Prolog3.82017-10-29
YAProlog6.3.32013-01-21

Srovnávací hodnoty

Reference

  1. ^ A b C d Wielemaker, J .; Costa, V. T. S. (2011). "O přenositelnosti aplikací Prolog". Praktické aspekty deklarativních jazyků. Přednášky z informatiky. 6539. p. 69. CiteSeerX  10.1.1.1030.9396. doi:10.1007/978-3-642-18378-2_8. ISBN  978-3-642-18377-5.
  2. ^ Jan Wielemaker a Vıtor Santos Costa: Přenositelnost programů Prolog: teorie a případové studie. Workshop CICLOPS-WLPE 2010.
  3. ^ A b Rozhraní C / Java lze také použít pro ovládání grafiky a OS.
  4. ^ B. Demoen a P. Nguyen, O zbytečných výkonnostních rozdílech mezi implementacemi Prologu, Sborník kolokvia o implementaci omezení a logických programovacích systémů (CICLOPS 2001)
  5. ^ Bothe, K. (1990). Msgstr "Sada prologových prostorů prologu". Oznámení ACM SIGPLAN. 25 (12): 54–60. doi:10.1145/122193.122197.
  6. ^ Souhrn výkonu XSB (1993)
  7. ^ Demoen, B .; Nguyen, P.L .; Vandeginste, R. (2002). "Kopírování Garbage Collection pro WAM: označit nebo neznačit?". Logické programování. Přednášky z informatiky. 2401. 194–208. CiteSeerX  10.1.1.13.2586. doi:10.1007/3-540-45619-8_14. ISBN  978-3-540-43930-1.

externí odkazy