Runtime verification (RV) consists in dynamically checking event traces generated by single runs of a system against a formal specification; such a technique can be used after deployment to monitor and properly handle misbehavior.
We report on the implementation of RML, an expressive rewriting-based domain specific language for RV, where from specifications, monitors are automatically generated in SWI-Prolog; the LP paradigm and some advanced features of SWI-Prolog are particularly suited to adopt Prolog as a target language for RML.