PROLOG ( Programmeringslogikgruppen ) är en deklarativ dator programmeringsspråk som ofta används i programmering artificiell intelligens ( AI ) program . En deklarativ språket är ett programmeringsspråk som bestämmer vad som ska göras som en följd av särskilda kriterier , snarare än hur något borde göras . Origins
PROLOG skapades mellan 1971 och 1973 av Philippe Roussel och Alain Colmerauer som en praktisk utveckling språk bygger på idén om automatiserad deduktivt resonemang . Språket får formler som skall tolkas på så sätt att en logisk slutsats skulle nås . PROLOG ursprungligen konceptualiseras som ett sätt att automatisera naturliga språk , men blev snart till användning för mer allmän applikationsutveckling samt. Den första användes för att göra deduktiva beslut baserade på input i skriven franska . Under 1983
Genomförande
, skapade David H. Warren en maskin arkitektur som kallas en " abstrakt maskin , " vilket skulle kunna leda PROLOG applikationer . Kallade " Warren abstrakt maskin " ( WAM ) , blev det standard genomförande metod för Prolog .
Inflytande
PROLOG har haft ett antal effekter på området datavetenskap . Eftersom den ursprungliga logikbaserade programmering langauge har det tillåtet för tillägg till relationsdatabaser för att skapa en ny form av databas kallad dedutive databaser . Från 1980-talet och framåt , påverkade det bildandet av intelligenta datorsystem, tvång logisk programmering , induktiv logik programmering och maskininlärning .