Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Invulling parameters sjabloon |
→Invloed: graag een bron voor de invloed van de WAM op de JVM |
||
Regel 57:
== Invloed ==
De toepassing van formele logica om kennis te modelleren heeft inmiddels vele verschillende talen en applicaties opgeleverd, die echter vaak tot de academische en industriële wereld beperkt blijven. De ''[[Warren Abstract Machine]]'' echter, was als een van de eerste [[virtuele machine]]s een innovatie die veel navolging kreeg, onder andere in de [[Java Virtual Machine]].{{bron?}}
De technieken die voor Prolog zijn ontwikkeld zijn tegenwoordig tamelijk wijd verspreid en beperken zich niet tot [[predicatenlogica|eerste orde]], maar richten zich ook op [[wiskundige logica|tweedeorde]]logica en ''automated theorem proving'', het bewijzen van [[Stelling (wiskunde)|wiskundige stellingen]] door middel van [[software]]. Talen zoals [[Gödel (programeertaal)|Gödel]] implementeren dan ook vrij veel functionaliteit van Prolog.
| |||