Prolog ( programmering i Logic ) är ett programmeringsspråk som utvecklades i Frankrike för användning i naturligt språk översättning . Naturligt språk är vad programmerare kallar språk som franska och tyska . Prolog förfinades ytterligare av datavetare i Skottland för att användas som en automatisk teorembevisare , vilket bevisar satser i matematik och logik . Japanerna valde Prolog att använda inom artificiell intelligens ( AI ) projekt . Denna internationella språket är otroligt flexibel . Instruktioner
en
Använd Prolog som den är avsedd att användas. Språk som Ruby och C + + tala om vad datorn ska göra . Programmering i Prolog består av att skapa en databas med fakta och regler som beskriver en viss universum av diskurs . Användaren skickar därefter en fråga och Prolog svarar på frågan utifrån de fakta och regler i databasen . Denna fråga och svar proceduren är ganska flexibel . Till exempel , kan frågan vara ett matematiskt teorem och svaret berättar om det är sant eller falskt , eller frågan kan vara en fras på japanska och svaret är att översättning till franska .
2
Lär struktur Horn klausuler - detta är nyckeln till att företräda fakta och regler i databasen för ett Prolog " program . " Ett horn klausul representation av ett faktum är endast ett uttalande om det faktum , följt av en period . Horn klausul representation av en regel är en slutsats , följt av " : - " . Symbol , följt av en rad villkor , följt av en period
Att himlen är blå kan skrivas i Prolog som " Blå ( sky ) . " Regeln om att himlen är blå om det är dagtid och inte regnar är " Blue ( himmelsblå ) : - . Tid ( dag ) , Regna ( inte ) "
Prolog " program " består av en databas med fakta och regler . Om du gör språkbehandling , kommer dessa att vara ordet definitioner och grammatiska regler . Om du bygger ett logiskt eller matematiskt system , kommer det " programmet " vara axiom av systemet . Genom flera Prolog exempel Addera 3
Work . Låtsas att du är på datorn och att det finns en enkel databas , sedan ta en fråga och gå igenom de steg som Prolog skulle gå igenom för att besvara frågan . Det finns ingen snabbare väg till förståelse Prolog och lära sig att vara en god Prolog programmerare , enligt Clocksin och Mellish , som bokstavligen skrev boken om Prolog programmering .
