 EQGEN was a logic equation generating language.In 1964, System Development Corporation began a major effort in the development of metacompilers.This effort includes powerful metacompilers, Bookl, and Book2 written in Lisp which have extensive tree-searching and backup ability.