noun Technical meaning of dactl 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 languages, logic languages and imperative languages. The current version is Dactl0. 1