I have not tried what you seek but a place to start is on this page look for This is semantically equivalent to the Prolog clause below.
Also there are GitHub commits that convert Prolog using :- to -> so if you find them, just do the reverse. Also see: Example of refactoring code to SSU