Title: Symb Computing W Lisp and Prolog