EQUATIONAL PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION
方程式语言及其实现

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