无涯教程网(learnfk)整理提供:LISP适用于符号处理、自动推理、硬件描述和超大规模集成电路设计等