Prolog MSOS Tool

User Guide

Peter D. Mosses

Last edited: 13 September 2019

The code in the MSOS folder was developed between 2001 and 2004, at the Department of Computer Science, Aarhus University, Denmark. It was used in connection with undergraduate lectures on Fundamental Concepts and Formal Semantics of Programming Languages. See the lecture notes for explanations and exercises.

The only changes made in the present version concern the filename extension used for Prolog files (which is now .pro instead of .pl). The code should run without errors or warnings using SWI-Prolog, otherwise kindly send a bug report to, including relevant details of how to replicate the problem.

  • MSOS in Prolog: Prolog rules corresponding to the MSOS rules in the author’s JLAP 2004 paper.

  • CBS: a framework for component-based specification of programming languages using MSOS.

  • Maude MSOS Tool: an execution environment that brings the power of analysis available in the Maude system to MSOS specifications.

Table of contents