MSOS in Prolog

Modular structural operational semantics in Prolog.

Related projects

Prolog MSOS Tool: Generation of Prolog interpreters from MSDF (a meta-language for specifying MSOS of programming languages), including lecture notes.
CBS: A framework for component-based specification of programming languages using MSOS.

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
code		code
docs		docs
tests		tests
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md