论文部分内容阅读
作者研制了一种新型的LISP语言——DCLISP，其中实现了用模式匹配传递参数的功能。具体来说，程序员可以在函数定义中对于参数应具有的结构给出显式表示，称作模式；可以给出有关数据类型的要求和其它要求。一个函数中可以有多个模式，函数可以根据不同施用中不同的模式匹配结果来选择不同的执行程序。模式型的条件分支还可以嵌套在执行程序中。这一套机制提高了LISP程序的可读性和执行效率，加强了LISP作为人工智能工具语言的能力。（本刊录）