Prolog ist eine Programmiersprache , die in Frankreich in den 1960er Jahren für den Einsatz in automatischen Übersetzung natürlicher Sprachen erfunden wurde. Ferner wurde in Schottland in den 1970er Jahren für den Einsatz in automatischen Beweiser entwickelt. Es kam , um die Aufmerksamkeit der meisten Menschen , wenn die Japaner wählten sie für ihre Amtssprache in der fünften Generation Projekt - die nationale Projekt in die Künstliche Intelligenz zu entwickeln. Zu Beginn des 21. Jahrhunderts , ist es - zusammen mit LISP - eine der beiden wichtigsten Sprachen, die von der AI Gemeinschaft eingesetzt. Anleitung
1
Pause listet auseinander in Prolog durch die Untersuchung der "Kopf" - das erste Element in der Liste - und die "tail " - der Rest der Liste . Als Nachfolger Elemente untersucht werden , können Sie entscheiden , welcher Teil der aufgebrochenen Liste jedes Element gehört.
2
Sehen Sie, wenn ein Element ist ein Mitglied einer Liste , indem Sie durch die Liste rekursiv . Um diese Frage in Prolog , Typ fragen " ? Mitglied (X, L) " - ist X ein Mitglied der L ? Dies erfordert zwei Prolog Aussagen : " Mitglied (X, [X , T] ) . " Diese besagt, dass , wenn X entspricht das erste, was in der Liste , dann X ein Mitglied von L.
< br > 3
schreiben Sie die rekursive Schritt für die Suche nach Mitgliedschaft als "Member (X, [_ , T] ): - . Mitglied (X , T) " Dies wird über den Kopf der Liste überspringen, wenn es nicht gleich X. Wenn Sie Ihren Weg durch die Liste , wird X [ ] die leere Liste .
4
Wählen Sie die ersten n Elemente einer Liste mit den beiden Prolog Aussagen " firstn sein ( L , M, R , 0) "und" firstn ( [ X