Programmeringsspråket Prolog

Prolog (Programming in logic) er eit deklarativt programmeringsspråk sett saman av logiske slutninger. Det består både av eit reint logisk språk og tilleggsfunksjonar som gjer at ein kan bruka programmeringsspråket til det meste, som til dømes å laga grafiske brukargrensesnitt (GUI). Språket vert brukt mykje innan kunstig intelligens.

Døme:
Vi kan deklarera ei sanning ved å fortelja Prolog følgjande:
 katt(tom).
som er ekvivalent med
 katt(tom) :- true.
Her er nokre døme på spørjingar vi kan spørja Prolog-programtolkeren:

er tom ein katt?
 ?- katt(tom).  
     yes.
Kven er kattar?
 ?- katt(X).  
     X = tom;
     yes.
Prolog er likt predikatlogikk på den måten at det er fullt mogleg å direkte omsetja dei fleste predikatlogikksetningar ved å berre erstatta operatorane i setninga med dei ekvivalente operatorane til prolog.

Kjelder

Denne artikkelen bygger på «Prolog (programmeringsspråk)» frå ,  den 23. september 2016.  

Bakgrunnsstoff

Kategori:Maskinomsette artiklar som treng gjennomgang
Kategori:Programmeringsspråk