REST

rest (cdr) of the list
Major Section:  ACL2-BUILT-INS

In the logic, rest is just a macro for cdr.

Rest is a Common Lisp function. See any Common Lisp documentation for more information.