Vad är Prolog?

May 3

Tänkt ut i början av 1970, Prolog, troligen en kombination av orden programmet och logik, är en av de tidigaste dator programmeringsspråk. Delvis för att det är mycket enkelt kod enligt första ordningens logik och lite beräkning, är det fortfarande i populära användningen. Den ursprungliga instruktionsuppsättning har avsevärt utvidgad och utvecklats till många varianter eftersom den är särskilt väl lämpad för process språk. Dessa två primära attribut i programmet ger behandlingen för applikationer såsom artificiell intelligens och automatiserad telekommunikation.

Prolog använder formella, första ordningens logik. Instruktionerna som laddas upp till en dator är fast; de har inte luddiga, beräknings viktning. I uttryck, är syntaxen i språket en ändlig uppsättning regler och semantik definieras, vanligen genom uppsättningar såsom enstaka deskriptorer, flera listor och strängar, eller av en rad exempel numeriska sekvenser.

Tillsammans med några mer kända kodning såsom Hypertext Markup Language (HTML), är Prolog i en klass av programvara brukar kallas deklarativa programspråk, som karakteristiskt använda enkla uttalandet "X är lika Y", definierad som en "term." En dator är berättade vad de ska göra; Det är inte i uppdrag att räkna på egen hand hur man kommer dit. Datorn ges en uppsättning fakta med en "predikat" och relationer, som definieras som en "klausul", från vilken en ingångsfråga bör ge en sann kontra falsk utgång slutsats. Det spelar inte köra en algoritm, utan snarare härleder ett enkelt svar genom att lägga till och dra ifrån, eller att förneka, från dess kända uppsättning definitioner. Computing 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 teorier om intelligens är att det finns ett stort men ändlig lexikal butik informationen i hjärnan som ska hämtas, bearbetas och matas tillbaka, vilket resulterar i ökad komplexitet eller enkelhet av informationen. Med ökande minneskapacitet och snabb åtkomst, är detta den dominerande paradigmet som drivit datavetenskap heliga graal - artificiell intelligens. Vad är nyckeln enligt många i området är gränssnittet och språk. Prolog programmering kan användas för att skapa grafiska gränssnitt, det grafiska användargränssnittet uppfunnen av Apple, genom att helt enkelt definiera visuella symboler. Den kan också användas för att läsa, översätta, och skapa ansiktsuttryck.

Datorlingvistik är betydligt svårare, och medan Prolog har avancerat under åren för att införliva, till exempel de unika grammatiska principer vissa främmande språk, många forskare ifrågasätter om den effektivt representerar språket. För begränsade expertsystem, såsom datoriserad röst-erkännande teknisk support telefonlinjer är Prolog programmering används i viss grad av effektivitet. Den kan också integreras i högre ordningens logik programvara - kvantifiera språk som C + eller java - men kompression och portabilitet förbli problem som uthärdar för denna dataintensiv programmeringsspråk.