Wenn ich es richtig verstanden habe, dann ist beispielsweise findall/3 ein Prädikat höherer Ordnung, es ist jedoch nicht richtungsunabhängig, oder?

Meine Frage:
Sind Prädikate höherer Ordnung in Prolog generell nicht richtungsunabhängig, oder habe ich mit findall/3 nur zufällig eines am Wickel, dass eben richtungsabhängig ist?

Ich würde sagen, Prädikate höherer Ordnung sind nie
richtungsunabhängig, denn sie zeichnen sich dadurch aus,
dass man Ziele als Argument übergeben kann. Wären sie
nun richtungsunabhängig, so könnte Prolog ja durch
Unifikation ein Ziel ermitteln, also eine u.U.
unterspezifizierte Anfrage in einer Variablenbindung
liefern. Als Variablenbindung sind aber nur
Strukturen, Atome und Listen zugelassen, soweit ich mich
erinnere.

ok, danke.