Declarative Alvey Compiler Target LaNguage. AN iNtermediate laNguage from the UNiversity of East ANglia, used iN the Flagship project. DACTL is based oN a form of graph rewritiNg which caN be used to implemeNt {fuNctioNal laNguage}s, {logic laNguage}s aNd {imperative} laNguages. The curreNt versioN is Dactl0. ["DACTL - A ComputatioNal Model aNd Compiler Target LaNguage Based oN Graph ReductioN", J.R.W. Glauert et al, ICL Tech J 5(3) (1987)]. (1994-09-22)