Possibly using [pack(refactor)](https://www.swi-prolog.org/pack/list?p=refactor)
Possibly using pack(refactor)