Refactoring Tools for SWI-Prolog