Prolog (programmeringsspråk)

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

Prolog (programming in logic) er et deklarativt programmeringsspråk satt sammen av logiske slutninger. Det består både av et rent logisk språk og tilleggsfunksjoner som gjør at man kan bruke programmeringsspråket til det meste, som for eksempel å lage grafiske brukergrensesnitt (GUI). Språket brukes mye innen kunstig intelligens.

Eksempel: Vi kan deklarere en sannhet ved å fortelle Prolog følgende:

katt(tom).

som er ekvivalent med

katt(tom) :- true.

Her er noen eksempler på spørringer vi kan spørre Prolog-programtolkeren:

er tom en katt?

?- katt(tom).  
    yes.

Hvem er katter?

?- katt(X).  
    X = tom;
    yes.

Prolog er likt predikatlogikk på den måten at det er fult mulig å direkte oversette de fleste predikatlogikksetninger ved å bare erstatte operatorene i setningen med de ekvivalente operatorene til prolog.


datastubbDenne datarelaterte artikkelen er dessverre kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den.