PROLOG ( Programming Logic ) is een declaratieve programmeertaal vaak gebruikt bij het programmeren van kunstmatige intelligentie ( AI ) -toepassingen . Een declaratieve taal is een programmeertaal die bepaalt wat er moet gebeuren als gevolg van specifieke criteria , in plaats van hoe iets moet worden gedaan . Origins
PROLOG
werd gemaakt tussen 1971 en 1973 door Philippe Roussel en Alain Colmerauer als een praktische ontwikkeling taal, gebaseerd op het idee van geautomatiseerde deductieve redenering . De toegestane taal formules zodanig dat een logische conclusie kon worden bereikt worden uitgelegd . PROLOG werd oorspronkelijk opgevat als een manier om de natuurlijke taalverwerking automatiseren , maar werd al snel in gebruik genomen voor meer algemene applicatie-ontwikkeling ook. Het werd eerst gebruikt om deductieve beslissingen te nemen op basis van inbreng in het geschreven Frans .
Implementatie
In 1983 , David H. Warren creëerde een architectuur van de machine heet een " abstracte machine , " die PROLOG toepassingen kunnen leiden . Genaamd de " Warren Abstract Machine" ( WAM ) , het werd de standaard methode implementatie voor PROLOG .
Invloed
PROLOG
heeft een aantal gevolgen gehad op het gebied van de informatica . Daar de oorspronkelijke logische programmering op taalverwerking is het toegestaan om uitbreiding van relationele databases een nieuwe vorm van databank genoemd dedutive databases . Uit de jaren 1980 en verder, beïnvloedde het de vorming van intelligente computersystemen , constraint logisch programmeren , inductief logisch programmeren , en machine learning .
|
