An Improved Bottom-up Method for Implementing Equational Programming Language
韩启龙, 陆汝占, 孙永强 · 1994
Equational programming language (EP) is a novel intelligence language.This paper describes our EP system based on equational logic.Its execution mechanism is pattern matching.The paper focuses the discussion on the improvement to bottom-up tree pattern matching.The new bottom-up method shows high execution efficiency.