MProlog

Current Release

The current status of MProlog is pre-alpha, that is, the definition is just a proof of concept and might change dramatically in the future.

Currently, in order to make the definition as compact as possible, we have only defined a limited subset of the standard - most notably giving up logical or, dynamic assertion and retraction and input/output.

The formal Maude definition is available: MProlog.zip. A K definition was automatically extracted from the Maude definition and can be also be downloaded: MProlog-K.pdf

In order to make our definition Maude-friendly, the Prolog syntax was adjusted.