Spezifisches Beispiel der Rekursion in Prolog

Question

polarbear([],H,[H]). 
polarbear([H|T],Y,[H|Z]):- polarbear(T,Y,Z). 

Dies ist der Prologcode. Bei der Eingabe ?-polarbear([1,2], 6, P). Get P =[1,2,6].

Die Sache ist, ich verstehe einfach nicht, wie es funktioniert und ich habe versucht herauszufinden, wie Prolog macht, was es tut.

Ich habe etwas Erfahrung mit Prolog, aber ich verstehe das nicht, also würde jede Anleitung, wie es tut, was es tut, um mir zu helfen, Prolog zu verstehen, sehr geschätzt werden.

Answer 1

gibt an, dass das erste Argument eine Liste mit Kopf H und Schwanz T ist und das dritte Argument eine Liste mit Kopf H und Schwanz Z ist. So zwingt es (durch Vereinheitlichung) die Köpfe der beiden Listen gleich zu sein . Rekursiv werden die zwei Listen identisch, mit der Ausnahme, dass die dritte Argumentliste am Ende ein Element mehr hat (Element Y) und dies durch die erste Klausel definiert ist. Beachten Sie, dass die zweite Klausel nur für Listen mit einem oder mehreren Elementen funktioniert. Als Basis der Rekursion, wenn wir die leere Liste untersuchen, enthält die dritte Liste aufgrund der ersten Klausel nur ein weiteres Element, nämlich das Element Y.