Clark Kent to Clark Kent, SICP, Scheme, Clojure, Lisp

I'm approaching logic programming. I think I understood the logic version of a iterative function to return the last element of a list