Reformatter for Prolog source code