Vad är Prolog?
utformad i början av 1970 -talet är Prolog, troligen en kombination av ordprogrammet och logik, 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 den 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 behandling 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 en viss 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 lexikalisk butik med information i hjärnan som hämtas, bearbetas ochmatas 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 heliga gral - konstgjord 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®, 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 väsentligt svårare, och även om Prolog har framträtt genom åren att till exempel införliva de unika grammatiska principerna för vissa främmande språk, ifrågasätter många forskare om det effektivt representerar språk. För begränsade expertsystem, såsom datoriserad röstigenkänning teknisk supporttelefonlinjer, används Prolog-programmering till viss del av effektivitet. Det kan också integreras i högre ordning logik mjukvaror-Kvantifierande språk som C+ eller Java-men komprimering och portabilitet förblir problem som uthärda för detta dataintensiva programmeringsspråk.