Prolog ( programmering i logik) er et programmeringssprog , der blev udviklet i Frankrig til brug i naturligt sprog oversættelse . Naturligt sprog er, hvad programmører kalder sprog som fransk og tysk. Prolog blev yderligere forfinet af dataloger i Skotland til brug som en automatisk teorem prover , hvilket beviser teoremer i matematik og logik . Japanerne valgte Prolog til brug i Artificial Intelligence ( AI) projekter. Denne internationale sprog er utroligt fleksibelt . Instruktioner
1

Brug Prolog , som det er beregnet til at blive brugt. Sprog som Ruby og C + + fortælle computeren, hvad de skal gøre. Programmering i Prolog består i at skabe en database af fakta og regler, som beskriver nogle univers diskurs. Brugeren har dernæst gjort et spørgsmål og Prolog besvarer spørgsmålet på grundlag af de faktiske omstændigheder og regler i databasen. Dette spørgsmål og svar procedure er ganske fleksibel. For eksempel kan spørgsmålet være et matematisk teorem og svaret fortæller , om det er sandt eller falsk , eller spørgsmålet kan være en sætning på japansk og svaret er oversættelsen til fransk.
2

Lær strukturen af ​​Horn klausuler - det er nøglen til at repræsentere fakta og regler i en database hos Prolog "-program . " Et Horn klausul repræsentation af en kendsgerning er blot en konstatering af, efterfulgt af en periode . Horn klausul repræsentation af en regel er en konklusion , efterfulgt af " : - " . Symbol , efterfulgt af en række betingelser , efterfulgt af en periode

At himlen er blå kunne være skrevet i Prolog som " Blå ( sky ) . " Reglen om, at himlen er blå , hvis det er i dagtimerne og ikke regner , er " Blå ( sky ): - . Time (dag), Raining (ikke) "

Prolog "program" består af en database af fakta og regler. Hvis du laver sprogbehandling , vil disse være ordet definitioner og grammatiske regler . Hvis du er ved at opbygge en logisk eller matematisk system , vil "program" være aksiomer af systemet.
3

Arbejde gennem flere Prolog eksempler. Lad som om du er den computer, og at der er en simpel database , så tag et spørgsmål og gå gennem trinene , der Prolog ville gå igennem for at besvare spørgsmålet . Der er ingen hurtigere vej til at forstå Prolog og lære at være en god Prolog programmør , ifølge Clocksin og Mellish , der bogstaveligt talt skrev bogen om Prolog programmering.