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.