Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Als-dan-anders: naam voor ref |
→Invloed: de invloed van de WAM op de JVM is niet onderbouwd, en volgens mij onzin; weg ermee |
||
Regel 59:
== 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 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.
|