El lenguaje de programación ACL2 es un subconjunto aplicativa de Common LISP.