Prolog MSOS ToolThe Prolog MSOS Tool (2001–2004) was used to support undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages.