An Improved Bottom-up Method for Implementing Equational Programming Language

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.