Text this: Symbolic computing with Lisp and Prolog