Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Bronnen staan onderaan en de eerste VM kreeg navolging in andere VM's. |
→Warren Abstract Machine: cult tussen aanhalingstekens; informeel taalgebruik, maar direct citaat uit de bron |
||
Regel 31:
{{Zie hoofdartikel|Warren Abstract Machine}}
In 1983 ontwierp [[David H. D. Warren]] een [[virtuele machine]] gericht op de taal Prolog. Omdat deze machine niet alleen het compileren van Prolog naar bytecode mogelijk maakte, maar door verschillende optimalisaties Prologcode veel efficiënter uitvoert, is de ''WAM'' een ''de facto'' standaard voor Prolog geworden. Warrens publicatie uit 1983 heeft inmiddels
Ondanks het feit dat het ook mogelijk is naar ''native'' [[machinetaal]] te compileren, zijn WAM's nog steeds vrij algemeen. De voordelen van een ''native'' implementatie zijn beperkt doordat vrij veel functionaliteit uiteindelijk toch in support-functies moeten worden geïmplementeerd en het wiel veelvuldig opnieuw moet worden uitgevonden.<ref name="SICStus" /> Tevens worden onvermijdelijk machine-afhankelijkheden (''machine dependencies'') geïntroduceerd, wat de [[Softwareportabiliteit|portabiliteit]] niet ten goede komt.
| |||