A Coprocessor for AI: LISP, Prolog and Databases