Prolog er et programmeringsspråk som ble oppfunnet i Frankrike i 1960 for bruk i automatisk oversettelse av naturlige språk . Det ble videre utviklet i Skottland i 1970 for bruk i automatiske teorem rørnormaler . Det kom til seg oppmerksomheten til folk flest når den japanske valgte det for deres offisielle språk i Fifth Generation prosjektet - det nasjonale prosjektet for å utvikle kunstig intelligens. I begynnelsen av det 21. århundre, er det - sammen med LISP - en av de to viktigste språkene som brukes av AI- samfunnet. Instruksjoner
en

Break lister hverandre i Prolog ved å undersøke "hodet" - det første elementet i listen - og " hale " - resten av listen . Som etterfølgende elementer er undersøkt, kan du bestemme hvilken del av den ødelagte -listen hvert element tilhører.
2

Se om et element er medlem av en liste ved å gå gjennom listen rekursivt . Å stille dette spørsmålet i Prolog, type " ? Medlem ( X , L ) " - er X et medlem av L ? Dette krever to Prolog utsagn : " medlemsstatene ( X , [ X , T] ) . " Dette sier at hvis X matcher det første på listen , så X er medlem av L.

3

Skriv den rekursive skritt for å finne medlemskap som "medlem ( X , [ _ , T] ) : - . medlem ( X , T) " Dette vil hoppe over hodet på listen hvis den ikke er lik X. Hvis du jobber deg gjennom listen , vil X være [ ] , den tomme listen.
4

Velg de første n elementene i en liste med de to Prolog uttalelser " firstn ( L , F, R , 0 ) "og" firstn ( [ X