See https://pdmosses.github.io/prolog-msos-tool to view in GitHub Pages.
The code in this repository 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
[email protected],
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.