playground/misc/acl2-hello.lisp

(defun mem (e x)
  (if (consp x)
      (if (equal e (car list))
          t
          (mem e (cdr x))
      nil)))