Prolog è un linguaggio di programmazione di computer che è stato inventato in Francia nel 1960 per l'uso in traduzione automatica delle lingue naturali . E 'stato ulteriormente sviluppato in Scozia nel 1970 per l'uso in provers automatici teorema . E 'venuto a conoscenza della maggior parte delle persone , quando i giapponesi hanno scelto per la loro lingua ufficiale nel progetto di quinta generazione - il progetto nazionale per sviluppare l'intelligenza artificiale . All'inizio del 21 ° secolo , è - insieme con LISP - una delle due principali lingue utilizzate dalla comunità AI. Istruzioni
1

Pausa elenca a parte in Prolog esaminando la "testa" - il primo elemento della lista - e la "coda" - il resto della lista . Come elementi successivi sono esaminati , si può decidere quale parte della lista broken- up ogni elemento appartiene .
2

Vedere se un elemento è membro di una lista passando attraverso la lista in modo ricorsivo . Per fare questa domanda in Prolog , tipo " ? Membro ( X , L) " - X è un membro di L ? Questo richiede due affermazioni Prolog : " Stati (X , [ X , T ] ) . " Questo dice che se X soddisfa la prima cosa nella lista, allora X è un membro di L.
< br > 3

Scrivi il passo ricorsivo per la ricerca di appartenenza come " membro ( X , [ _ , T ] ) : - . membro ( X , T) " Questo salta la testa della lista , se non è pari a X. Se si lavora il vostro senso attraverso la lista , X sarà [ ] , la lista vuota .
4

Selezionare i primi n elementi di una lista con le due dichiarazioni Prolog " firstn ( L , F , R , 0 ) "e" firstn ( [ X