Cephalad and caudal vertebral facet joint prostheses and methods of use are provided. The cephalad prostheses are adapted and configured to be attached to a lamina portion of a vertebra without blocking a pedicle portion of the cephalad vertebra.