Netleksikon - Et online leksikon Netleksikon er ikke blevet opdateret siden 2005. Nogle artikler kan derfor indeholde informationer der ikke er aktuelle.
Forside | Om Netleksikon

Prolog (programmeringssprog)

Prolog (PROgramming in LOGic) er et deklarativt og logikbaseret programmeringssprog .
Programmering i Prolog er programmering i logik. Man skriver programmer ved at opstille en sammenhæng af logiske udsagn. Dette medfører et højere abstraktionsniveau i den forstand, at man som programmør bevæger sig væk fra, hvordan man løser et givet problem i de mere maskinnære programmeringssprog til, hvad man gør  for at løse det - og dette udtrykt i logik.

Et eksempel på et prolog-program, der kan udtrykke en familie-relation, kan være:

mand(Harald).
mand(Gorm).
kvinde(Thyra).
son_af(Harald, Gorm).
son_af(Harald, Thyra).
far(X,Y) :- son_af(Y,X), mand(X).

Dette læses, at først har vi en række fakta, fx Harald og Gorm er mænd, mens Thyra deklareres som kvinde. Så defineres et prædikat, søn af (son_af), som kan udtrykke, at Harald er søn af Gorm.

Nu kan vi bygge videre på programmet og skabe en far-relation, der skal læses sådan, at far gælder for X og Y, hvis X er en mand, og der er et son_af-relation mellem Y og X.

Nu kan prolog-fortolkeren spørges,

>far(Gorm, Harald)?

Variablerne X instantieres til Gorm og Y til Harald, hvorefter der fortsættes til son_af(Harald, Gorm), hvilket også lykkedes. Derefter prøves Mand(Gorm), hvilket lykkedes.Der svares yes!

Nu prøver vi om

>far(Thyra, Harald)?

kan lykkes!

Først instantieres variablerne og herefter spørges, om Harald er son_af Thyra, hvilket lykkedes, men da vi kommer til mand(X), så kan vi ikke finde mand(Thyra) i databasen, og fortolkeren returnerer et no.

Familieeksemplet kan naturligvis udbygges i det uendelige.


Denne artikel er kun påbegyndt.
Du kan hjælpe Wikipedia ved at [ tilføje mere].



Denne artikel er fra Wikipedia. Læs artiklen hos Wikipedia.





Bolig.com
Boligsite med dagligt opdaterede boligannoncer med lejeboliger og andelsboliger.
Andelsbolig i København
Lejebolig i København
Selvsalg
Realkreditlån
Boligadvokat
Rejseforsikringer
Husk at kontrollere din rejseforsikring inden du tager ud at rejse. Læs mere på: Rejseforsikring
Bilforsikringer
Sammenlign bilforsikringer og find information om forsikringer til din bil på: Bilforsikring


Denne artikel er fra Wikipedia. Denne hjemmeside tager ikke resourcer fra Wikipedias hardware. Netleksikon.dk støtter Wikipedia projektet finansielt. Indholdet er udgivet under GNU Free Documentation License. Kontakt Netleksikon, hvis ophavsretten er krænket.

Antal besøgende: