Text this: Symbolic computing with Lisp and prolog /