Inhoudsopgave:
Definitie - Wat betekent Prolog?
Programmation en Logique (Programming in Logic) of Prolog is een programmeertaal op hoog niveau die zijn wortels heeft in de eerste-orde logica of de eerste-orde predikaatrekening. De taal werd in het begin van de jaren zeventig in Marseille, Frankrijk, bedacht door een groep onder leiding van Alain Colmerauer. Het is een van de eerste logische programmeertalen en het blijft populair vandaag. Het is een programmeertaal die gewoonlijk wordt geassocieerd met computationele taalkunde en kunstmatige intelligentie en wordt gebruikt in expertsystemen, theoretische bewijzen en patroonvergelijking over parse trees in natuurlijke taal en natuurlijke taalverwerking.
Techopedia verklaart Prolog
Het eerste Prolog-systeem werd in 1972 ontwikkeld door Colmerauer samen met Philippe Roussel en was gebaseerd op de procedurele interpretatie van Robert Kowalski van Horn-clausules. Het werd ook deels ingegeven door de wens om het gebruik van logica als een declaratieve kennisrepresentatietaal te combineren met procedurele representatie van kennis. Prolog is met opzet ontwikkeld voor natuurlijke taalverwerking - gericht op computer- en menselijke (natuurlijke) taalinteracties.
Prolog verschilt van andere programmeertalen omdat het declaratief is in plaats van reeksen opdrachten. Het wordt soms een op regels gebaseerde of declaratieve taal genoemd, omdat het wordt uitgedrukt in termen van relaties tussen de eigenschappen van objecten, gepresenteerd als feiten en regels. Een berekening wordt gestart door een query uit te voeren voor deze relaties.
Toepassingen zijn onder meer:
- Machine leren
- Robotplanning
- Geautomatiseerd redeneren
- Probleemoplossing
- Intelligente database ophalen
- Natuurlijk taalbegrip
- Specificatie taal
