GENA

GENA — A tool for generating Prolog analyzers from specifications.