Vad är Prolog?
Prolog, som antogs i början av 1970-talet, är troligtvis en kombination av ordprogrammet och logiken, ett av de tidigaste datorprogrammeringsspråken. Dels eftersom det är väldigt enkel kod, med första ordningens logik och liten beräkning, är den fortfarande i populär användning. Den ursprungliga instruktionsuppsättningen har utvidgats avsevärt och utvecklats till många varianter eftersom den är särskilt väl lämpad för processpråk. Dessa två primära attribut för programmet tillhandahåller behandlingen för applikationer som konstgjord 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. Uttrycket är språkets syntax en begränsad uppsättning regler och semantiken definieras, vanligtvis av uppsättningar som enskilda deskriptorer, flera listor och strängar, eller av ett intervall som numeriska sekvenser.
Tillsammans med lite bättre känd kodning som HTML-språk (Hypertext Markup Language), är Prolog i en klass av programvara som ofta kallas deklarativt programmeringsspråk, som karakteristiskt använder det enkla uttrycket "X är lika med Y", definierat som en "term." En dator är berättade vad jag skulle 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 ska ge en sann eller falsk utgångsslut. Den kör inte en algoritm, utan hämtar snarare ett enkelt svar genom att lägga till och subtrahera, eller negera, från dess kända definitioner. Beräkningar 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 ett stort men ändligt lexikalt lager av information i hjärnan som hämtas, bearbetas och matas tillbaka, vilket resulterar i större komplexitet eller enkelhet i informationen. Med ökad minneskapacitet och snabb åtkomst är detta det dominerande paradigmet som har drivit datavetenskapens heliga gral - konstgjord intelligens. Det som är viktigt för många i fältet är gränssnitt och språk. Prolog-programmering kan användas för att skapa GUI: er, det grafiska användargränssnittet som pionjärs 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 betydligt svårare, och medan Prolog under årens lopp har utvecklats för att införliva till exempel de unika grammatiska principerna för vissa främmande språk, ifrågasätter många forskare huruvida det effektivt representerar språk. För begränsade expertsystem, till exempel datoriserade röstigenkänningstekniska supporttelefoner, används Prolog-programmering till viss grad av effektivitet. Det kan också integreras i högre ordningslogikprogramvara - kvantifiera språk som C + eller java - men komprimering och portabilitet förblir problem som varar för detta datakrävande programmeringsspråk.