Prolog Språk Tutorial

Prolog (programmering i logikk) er et programmeringsspråk som ble utviklet i Frankrike for bruk i naturlig språk oversettelse. Naturlig språk er det programmerere kaller språk som fransk og tysk. Prolog ble videreutviklet ved datamaskinen forskere i Skottland for bruk som en automatisk teorem prover, noe som beviser teoremer i matematikk og logikk. Japanerne valgte Prolog å bruke i kunstig intelligens (AI) prosjekter. Denne internasjonale språket er utrolig fleksibel.

Bruksanvisning

1 Bruk Prolog som den er ment å bli brukt. 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 da et spørsmål og Prolog besvarer 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 et uttrykk på japansk, og svaret er oversettelsen til fransk.

2 Lær strukturen i Horn klausuler - dette er nøkkelen til å representere fakta og regler i databasen av en Prolog "program". En Horn klausul representasjon av et faktum er rett og slett en uttalelse fra det faktum etterfulgt av en periode. Horn-leddet fremstilling av en regel er en konklusjon, etterfulgt av ": -" symbol, etterfulgt av en rekke betingelser, etterfulgt av en periode.

Det faktum at himmelen er blå kan være skrevet i Prolog som "Blue (himmelen)." Regelen om at himmelen er blå hvis det er dagtid og ikke regner er "Blue (himmelen): -. Tid (dag), Raining (ikke)"

Den Prolog "program" består av en database med fakta og regler. Hvis du gjør språkbehandling, disse vil være ordet definisjoner og grammatikk regler. Hvis du bygger en logisk eller matematisk system, "program" vil være aksiomer av systemet.

3 Arbeid gjennom flere Prolog eksempler. Lat som du er datamaskinen og at det er en enkel data base, og deretter ta et 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.

Hint

• Unification er måten at Prolog finner svaret på noen spørsmål. Hvis det er en X i spørsmålet ditt, når svaret kommer tilbake vil det inkludere en verdi for X, som er det du virkelig ønsker.
• Ordren reglene er i er viktig. Prolog fungerer gjennom et sett med regler i orden. Dersom en regel i settet svikter, går Prolog til neste regelen. Noen ganger problemer i Prolog kan løses ved å endre rekkefølge på et sett med regler. Alltid vurdere dette før du begynner å skrive om reglene for å ta vare på et problem.