方程式语言及其实现

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。

方程式语言中扩充高阶函数

本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。

陆汝占教授与汉语计算语义理论

陆汝占教授与汉语计算语义理论陆汝占，男，１９４０年１０月出生于上海。１９６４年毕业于南京大学数理逻辑专业。１９６４—１９６７，１９７８—１９８１年为数理逻辑专业研究生，导师莫绍揆教授。陆汝占现任上海交通大学计算机系教授、计算机软件专业博士生导师。１９...