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)