The list predicate family -- length/2 append/3 member/2 reverse/2 nth0/3 nth1/3 last/2 -- over native Elixir lists (Episteme lists are plain [h|t], not cons compounds). Hand-rolled-goal style, generalized to real unification via Ichor.Backtrack.Bindings.