Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→ISO/IEC 13211-1: breder getrokken |
k →Standaardisering: ref aan einde van de zin |
||
Regel 43:
=== Standaardisering ===
De eerste pogingen de taal te standaardiseren dateren uit 1985,
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.
|