MSOS in Prolog
The MSOS in Prolog project (2002–2004) illustrates how MSOS rules for the dynamic semantics of a simple imperative programming language can be written as Prolog clauses.
DCGs
Prolog MSOS Tool
The Prolog MSOS Tool (2001–2004) was used to support undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages.