A computer purpose-built to run so-called symbol-manipulation programs rather than programs involving a great deal of numerical computation. Mostly, they exist for the artificial intelligence language Lisp, although some have also been built to run Prolog.