Rest (cdr) of the list
In the logic, rest is just a macro for cdr.
Rest is a Common Lisp function. See any Common Lisp documentation for more information.
Macro: rest
(defmacro rest (x) (list 'cdr x))
