Prolog är en dator programmeringsspråk som uppfanns i Frankrike på 1960-talet för att användas i automatisk översättning av naturligt språk. Den vidareutvecklades i Skottland på 1970-talet för användning i automatiska bevisverktyg . Det kom till uppmärksamheten av de flesta människor när japanerna valde det för deras officiella språk i den femte generationen projektet - det nationella projektet för att utveckla artificiell intelligens . I början av 21-talet , är det - tillsammans med LISP - en av de två viktigaste språken som används av AI samfundet . Instruktioner
1
Break listar isär i Prolog genom att undersöka " huvudet " - det första elementet i listan - och det " tail " - resten av listan . Som efterföljande element undersöks , kan du bestämma vilken del av den brutna - up lista varje element tillhör .
2
Se om ett element är en medlem av en lista genom att gå igenom listan rekursivt . För att ställa denna fråga i Prolog , typ " ? Ledamot ( X , L ) " - X är en medlem av L ? Detta kräver två Prolog uttalanden : " Medlem ( X , [ X , T ] ) . " Detta säger att om X matchar först på listan , då X är en medlem av L.
3
Skriv den rekursiva steget för att hitta medlemmar som " medlemsstat ( X , [ _ , T ] ) : - . medlem ( X , T ) " Detta kommer att hoppa över huvudet på listan om det inte är lika med X. Om du arbetar dig igenom listan , kommer X att vara [ ] , den tomma listan .
4
Välj de första n elementen i en lista med de två Prolog uttalanden " firstn ( L , F, R , 0 ) "och" firstn ( [ X
