Abwicklungsliste in Prolog

Question

Oberhalb der Rückkehr wahr, aber es gibt keine X zurück. Warum?

Answer 1

Was Sie haben, ist sehr nah, und ich denke, Sie sind nur in der Prolog verdreht. Sie müssen es nur logisch aufschlüsseln und dann auf den Prolog schauen. Richtig denken Sie in Bezug auf den Fall, ob das erste Element in der Liste selbst eine Liste ist. Schreiben Sie heraus, was die Regeln aussehen könnte:

1. Wenn wir „entspannen“ [E|_] und E keine Liste ist, dann bekommen wir E.
2. Wenn wir "[E|_] und E10" eine Liste "abwickeln", dann wir (rekursiv) "E" abwickeln, um das Ergebnis zu erhalten.

Welche aussehen würde:

unwind_head([E|_], E) :- \+ is_list(E). 
unwind_head([E|_], F) :- is_list(E), unwind_head(E, F). 

Sie können auch den Prolog verwenden "if-else" für dieses Konstrukt:

unwind_head([E|_], F) :- 
    ( is_list(E) 
    -> unwind_head(E, F) 
    ; F = E 
    ). 

Beachten Sie, dass wir nie, was den Schwanz von der Pflege Liste ist, so können wir _ verwenden.