Prolog ( programmering i logikk) er et programmeringsspråk som ble utviklet i Frankrike for bruk i naturlige språk oversettelse. Naturlig språk er hva programmerere kaller språk som fransk og tysk. Prolog ble videreutviklet ved IT-forskere i Skottland for bruk som en automatisk teorem prover , noe som beviser teoremer i matematikk og logikk . Japanerne valgte Prolog til å bruke i kunstig intelligens ( AI ) prosjekter . Dette internasjonale språket er utrolig fleksibel. Instruksjoner
en
Bruk Prolog som det er ment å brukes. Språk som Ruby og C + + fortelle datamaskinen hva de skal gjøre . Programmering i Prolog består av å lage en database med fakta og regler som beskriver noen univers av diskurs . Brukeren sender deretter et spørsmål og Prolog svar på spørsmålet basert på fakta og regler i databasen. Dette spørsmålet og svaret prosedyren er ganske fleksibel. For eksempel kan spørsmålet være et matematisk teorem og svaret forteller om det er sant eller usant, eller spørsmålet kan være en setning på japansk og svaret er oversettelse til fransk .
2
Lær strukturen i Horn klausuler - dette er nøkkelen til å representere fakta og regler i databasen av et Prolog "program . " En Horn klausul representasjon av et faktum er rett og slett en uttalelse av det faktum etterfulgt av en periode . Hornet leddet representasjon av en regel er en konklusjon, etterfulgt av bokstaven ": - " . Symbol , etterfulgt av en rekke forhold, etterfulgt av en periode
Det faktum at det blå himmel kunne skrives prologparsar som "Blue ( himmelen) . " Regelen om at himmelen er blå hvis det er dagtid og ikke regner er "Blue (Sky ) : - . Time ( dag) , Raining ( ikke )"
Prolog "program " består av en database med fakta og regler . Hvis du gjør språk prosessering , disse vil være ordet definisjoner og grammatiske regler . Hvis du bygger en logisk eller matematisk system , vil "program" være aksiomer i systemet.
3
arbeid gjennom flere Prolog eksempler. Lat som du er datamaskinen, og at det er en enkel data base, så ta en spørsmål og gå gjennom trinnene som Prolog ville gå gjennom for å svare på spørsmålet . Det er ingen raskere rute til å forstå Prolog og lære å bli en god Prolog programmerer , ifølge Clocksin og Mellish , som bokstavelig talt skrev boken på Prolog programmering.