A Prolog tool for relational translation of modal logics: a front-end for relational proof systems