Prolog: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Qwertyus (overleg | bijdragen)
→‎ISO/IEC 13211-1: breder getrokken
Qwertyus (overleg | bijdragen)
k →‎Standaardisering: ref aan einde van de zin
Regel 43:
 
=== Standaardisering ===
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.<ref name="Ransar"/> 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 Prolog-programma's breken.