%0 Journal Article
%T 方程式语言及其实现
%A 陆汝占？
%A 韩启龙？
%A 林凯？
%A 奚宏伟？
%A 孙永强？
%J 软件学报
%P 21-28
%D 1992
%X 方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920204&flag=1