Prolog: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
→Invloed: graag een bron voor de invloed van de WAM op de JVM |
→Invloed: Gödel weg: kleine experimentele taal met weinig invloed |
||
Regel 59:
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]]
In de jaren 80 van de vorige eeuw bracht [[Borland (softwarebedrijf)|Borland]] ''Turbo Prolog'' op de markt, dat nog steeds onder de naam ''Visual Prolog'' wordt gebruikt. Deze taal, die veel meer op hobbyisten dan op professionele gebruikers is gericht,{{Bron?||2014|12|24}} verschilt echter sterk van andere dialecten. Het belangrijkste verschil is dat types in ''Turbo Prolog'' statisch worden geverifieerd en dus moeten worden gedeclareerd.
| |||