Prolog er en computer programmeringssprog, der blev opfundet i Frankrig i 1960'erne til brug i maskinoversættelse af naturlige sprog. Det blev yderligere udviklet i Skotland i 1970'erne til brug i automatiske sætning køleraskeskab . Den kom til den opmærksomhed de fleste mennesker, når japanerne har valgt det til deres officielle sprog i den femte generation projektet - det nationale projekt for at udvikle kunstig intelligens. I begyndelsen af ​​det 21. århundrede, er det - sammen med LISP - en af ​​de to væsentligste sprog, der bruges af AI fællesskabet . Instruktioner
1

Break lister fra hinanden i Prolog ved at undersøge "hoved" - det første element i listen - og " hale" - resten af ​​listen. Som efterfølgende elementer er undersøgt , kan du bestemme , hvilken del af opbrudt liste hvert element tilhører.
2

Se om et element er medlem af en liste ved at gå gennem listen rekursivt . At stille dette spørgsmål i Prolog , type " ? Medlem (X, L) " - er X et medlem af L ? Det kræver to Prolog udsagn : "Medlemsstaterne (X, [X , T ]). " Det siger, at hvis X matcher den første ting på listen, så X er medlem af L.
< br > 3

Skriv den rekursive skridt for at finde medlemskab som "medlem (X, [_ , T] ): - . medlem ( X , T) " Dette vil springe over hovedet på listen, hvis det ikke er svarende til X. Hvis du arbejder dig vej gennem listen , vil X være [], den tomme liste .
4

Vælg de første n elementer i en liste med de to Prolog udsagn " firstn ( L , F , R , 0 ) "og" firstn ( [ X