Wikipedia

Prolog: verschil tussen versies

Interactief door geschiedenis bladeren
← Oudere bewerkingNieuwere bewerking →
Verwijderde inhoud Toegevoegde inhoud
VisueelWikitekst
Qwertyus (overleg | bijdragen)
10.947 bewerkingen
→‎Gebruik: schatting door Russell en Norvig van aantal gebruikers
Qwertyus (overleg | bijdragen)
10.947 bewerkingen
→‎Warren Abstract Machine: herschreven: specifiekere waardering van Russell en Norvig
Regel 31:
{{Zie hoofdartikel|Warren Abstract Machine}}
 
In 1983 ontwierp [[David H. D. Warren]] een [[virtuele machine]] gericht op de taal Prolog.: Omdateen deze[[instructieset]] machinedie nietProlog-compilers alleenkunnen hetgebruiken compilerenals intermediair tussen de semantiek van Prolog, naargebaseerd bytecodeop mogelijkhet maakte,doorzoeken maarvan dooreen verschillendeverzameling optimalisatiesmogelijke Prologcodeoplossingen veelvoor efficiëntereen uitvoertlogisch probleem, isen de ''werking van computerprocessors. WAM-programma''s kunnen vervolgens direct uitgevoerd worden door een ''de[[interpreter]], facto''of standaardverder voorvertaald Prolognaar gewordenmachinecode. Warrens publicatiewerk uitmaakte 1983als heefteerste inmiddelsde cultstatusuitvoering van logische programma's snel genoeg voor algemeen gebruik.<ref>Russell name="SICStus"en Norvig (2003:290–292).</ref>
 
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.{{Bron?||2015|01|14}}
Overgenomen van "https://nl.wikipedia.org/wiki/Prolog"