Prolog er et spesialisert programmeringsspråk, som blant annet benyttes innen kunstig intelligens og ekspertsystemer. Språket er et deklarativt programmeringsspråk, hvilket vil si at man først uttrykker fakta, sammenhenger og regler, for så å gjennom programmet kunne gjøre nye slutninger. Språket kan altså benyttes til å bevise at en påstand er sann eller usann ved å anvende logikk på eksisterende fakta.

Faktaboks

Etymologi
av engelsk programming in logic

Språket ble først utviklet ved Universitetet i Marseilles 1972 av Alain Colmerauer. Det har senere kommet to hovedoppdateringer i form av en kjerneoppdatering i 1995 og en modulpakke i 2000. Prolog benyttes fortsatt i mange systemer (2023), og det er en enkel innfallsvinkel til begynnerundervisning innen maskinlæring og ekspertsystemer.

Eksempler

Fakta defineres ved å gi et element (tom, kari, pia osv.) en betydning:

gutt(tom).

jente(kari).

jente(pia).

sosken(pia, kari).

Deretter kan man fortelle om andre sammenhenger. I dette tilfellet at alle gutter og jenter er mennesker, og at man er søstre dersom begge er jenter og de er søsken:

menneske(X) :- gutt(X).

menneske(X) :- jente(X).

sostre(A,B) :- jente(A), jente(B), sosken(A,B).

Deretter kan man gjøre spørringer, slik som å finne alle mennesker:

?- menneske(X).

Eller finne ut om Kari er et menneske:

?- menneske(kari).

Les mer i Store norske leksikon

Eksterne ressurser

Kommentarer

Kommentarer til artikkelen blir synlig for alle. Ikke skriv inn sensitive opplysninger, for eksempel helseopplysninger. Fagansvarlig eller redaktør svarer når de kan. Det kan ta tid før du får svar.

Du må være logget inn for å kommentere.

eller registrer deg