Metis: A Term Rewriting System Generator: An Inference Engine for Equations and Inequations
Akihiko Ohsuga, Kô Sakai · WORLD SCIENTIFIC eBooks · 1991
The TRS (term rewriting system) Working Group of ICOT has been studying applications of TRSs to the intelligent programming system.As a result, we have implemented a TRS generator called Metis, an experimental tool with the many functions required for such a system.This paper describes the features of Metis and several experiments with it.