dmn_prolog_converter
