Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation.

John P. Gallagher Mads Rosendahl

Published in: LPAR (2008)

Keyphrases

term rewriting systems
horn clauses
logic programs
specification language
functional programs
databases
database systems
programming language