What is "vlisp"

VLISP refers to at least three distinct items.

These are, in no particular order:

• A Lisp dialect implemented and formalized since 1971 at the University of Paris VIII - Vincennes, France. VLISP (for Vincennes LISP) interpreters and compilers were designed to run on small machines and were extremely fast. This VLISP led to Le-Lisp.
• A formally verified implementation of the Scheme programming language ( Scheme is a dialect of Lisp).
• The "Visual Lisp" implementation included in recent versions of AutoCAD.