Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language called Φ-LOG to enable biologists (domain experts) to program solutions to phylogenetic inference problems at a very high level of abstraction. The implementation infrastructure (interpreter, compiler, debugger) for the DSL is automatically obtained through a software engineering framework based on Denotational Semantics and Logic Programming.
Citation:
E. Pontelli, D. Ranjan, B. Milligan, G. Gupta, "Φ-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems," csb, pp.9, IEEE Computer Society Bioinformatics Conference (CSB'02), 2002