Its execution mechanism is pattern matching. The paper focuses the discussion on the improvement to bottom-up tree pattern matching. Our system has quick response time and strong descriptive power.

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

youdao