Symbolic Computing With Lisp and Prolog