Vad är Prolog?

Upptäckt i början av 1970 -talet är Prolog, troligen en kombination av ordprogrammet och logiken, ett av de tidigaste datorprogrammeringsspråken.Delvis för att det är en mycket enkel kod, med hjälp av första ordningslogik och liten beräkning, är det fortfarande i populärt bruk.Den ursprungliga instruktionsuppsättningen har förstorats avsevärt och utvecklats till många varianter eftersom den är särskilt väl lämpad att bearbeta språk.Dessa två primära attribut för programmet ger behandlingen för applikationer som artificiell intelligens och automatiserad telekommunikation.

Prolog använder formell, första ordningslogik.Instruktionerna som laddas upp till en dator är fast;De har inte fuzzy, beräkningsvikt.I uttryck är språket för språket en begränsad uppsättning regler och semantiken definieras, vanligtvis av uppsättningar som enstaka deskriptorer, flera listor och strängar, eller av ett intervall som numeriska sekvenser.

Tillsammans med någon bättre känd kodning som Hypertext Markup Language (HTML) är Prolog i en klass av programvara som vanligtvis kallas deklarativa programmeringsspråk, som karakteristiskt använder det enkla uttalandet "X är lika med y", definierat som en "term."En dator får veta vad man ska göra;Det instrueras inte att beräkna på egen hand hur man kommer dit.Datorn ges en uppsättning fakta med ett "predikat" och relationer, definierade som en "klausul", från vilken en inmatningsfråga bör ge en verklig kontra falsk utgångsslutsats.Den kör inte en algoritm, utan härleder snarare ett enkelt svar genom att lägga till och subtrahera eller negera från dess kända uppsättning definitioner.Beräkning i Prolog används för att testa och bevisa teorier och deras underliggande antaganden, från avancerad matematik till biologi till filosofi.

En av de kognitiva teorierna om intelligens är att det finns en stor men ändlig lexisk butik med information i hjärnan som hämtas, bearbetas och matas tillbaka, vilket resulterar i större komplexitet eller enkelhet i informationen.Med ökande minneskapacitet och snabb åtkomst är detta det dominerande paradigmet som har drivit datavetenskapens Holy Grail MDASH;artificiell intelligens.Det som är nyckeln enligt många i fältet är gränssnitt och språk.Prologprogrammering kan användas för att skapa GUIS, det grafiska användargränssnittet som är pionjär av Apple Reg ;, genom att helt enkelt definiera visuella symboler.Det kan också användas för att läsa, översätta och skapa ansiktsuttryck.

Beräkningslingvistik är betydligt svårare, och även om Prolog har avancerat under åren att till exempel integrera de unika grammatiska principerna för vissa främmande språk, ifrågasätter många forskare ifrågasätterHuruvida det effektivt representerar språk.För begränsade expertsystem, såsom datoriserad röstigenkänning teknisk supporttelefonlinjer, används Prolog-programmering till viss grad av effektivitet.Det kan också integreras i Logic Software MDASH med högre ordning;kvantifiera språk som C+ eller Java mdash;Men komprimering och portabilitet förblir problem som uthärda för detta datakrävande programmeringsspråk.