Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Invloed: de invloed van de WAM op de JVM is niet onderbouwd, en volgens mij onzin; weg ermee |
→ISO/IEC 13211-1: breder getrokken |
||
Regel 42:
In 1998 nam SICStus het bedrijf Quintus over en kondigde een ''"Grand Unified Compiler"'' aan (een toespeling op de ''[[Theorie van alles|Grand Unified Theory]]'' uit de [[natuurkunde]]), een fusie van Quintus- en SICStus-technologie, die echter niet van de grond kwam. Pas in 2007 resulteerden de inspanningen in versie 4 en 4.1 in 2009. SICStus is de grootste leverancier van Prolog-compilers en de innovaties op het gebied van parallellisatie en schaalbaarheid gelden als richtinggevend.<ref>[http://www.fraber.de/university/prolog/comparison.html Prolog-vergelijkingssite, Frank Bergmann]</ref> SWI-Prolog, bijvoorbeeld, implementeert belangrijke delen van de Quintus/SICStus-specificatie.<ref>[http://www.swi-prolog.org SWI-Prolog website]</ref>
===
De eerste pogingen de taal te standaardiseren dateren uit 1985,<ref name="Ransar" /> toen de [[Association française de Normalisation|AFNOR]] de eerste Prologwerkgroep in het leven riep. In 1987 vormde de [[Internationale Organisatie voor Standaardisatie|ISO]] een werkgroep (ISO/IEC JTC1/SC22 group WG17). Te laat, want verschillende leveranciers hadden hun eigen versies en klantenkring ontwikkeld en verdedigden hun dialecten furieus tegen al te drastische ingrepen.
De vele verhitte, soms bijtende debatten<ref name="SICStus" /> resulteerden uiteindelijk in de standaard ''ISO/IEC 13211-1'' die in 1995 werd gepubliceerd. Het document standaardiseert niet alleen de [[syntaxis (informatica)|syntaxis]] en formele [[semantiek]] van de taal, maar definieert ook ''unificatie'', een centraal begrip, herdefinieert [[I/O]]-predicaten en introduceert een aantal constructies voor [[exception handling]]. Met name de herdefinitie van I/O-predicaten heeft kritiek opgeroepen omdat ze drastisch van de Edinburgh-implementaties verschillen en zodoende veel oude
Ondanks ISO/IEC 13211-1 spreken Covington ''et al.'' in hun ''Coding guidelines'' voor Prolog van een gebruik aan een alomvattende standaard voor de taal; volgens hen is de kleine Prolog-gemeenschap gefragmenteerd en voornamelijk georganiseerd rond de verschillende implementaties, waarvan geen enkele dominant is.<ref name="guidelines"/>
== Gebruik ==
| |||