PROLOG ( Programming Logic ) er en erklærende computer programmeringssprog ofte bruges i programmering kunstig intelligens (AI) applikationer. En erklærende sprog er et programmeringssprog, der afgør, hvad der skal ske som følge af specifikke kriterier , snarere end hvordan noget skal gøres. Origins
PROLOG blev skabt mellem 1971 og 1973 af Philippe Roussel og Alain Colmerauer som et praktisk udvikling sprog baseret på ideen af automatiserede deduktive ræsonnement. Sproget tillod formler, der skal fortolkes på en sådan måde, at en logisk konklusion kunne nås . PROLOG blev oprindeligt udtænkt som en måde at automatisere naturlig sprogbehandling , men blev hurtigt sat til at bruge til mere generel anvendelse udvikling samt . Det blev først brugt til at lave deduktive beslutninger baseret på input i skriftlig fransk.
Implementering
I 1983 skabte David H. Warren en maskine arkitektur kaldes en " abstrakt maskine ", som kunne vejlede PROLOG applikationer. Kaldet " Warren Abstract Machine " ( WAM ) , det blev standard implementering metode til PROLOG .
Indflydelse
PROLOG har haft en række virkninger på inden for computer science . Da den oprindelige logik - baseret programmering langauge har det tilladt for tilføjelser til relationelle databaser til at skabe en ny form for database, kaldet dedutive databaser. Fra 1980'erne og fremefter , påvirket det dannelsen af intelligente computersystemer , tvang logik programmering, induktiv logik programmering, og machine learning .