SWI-Prolog Did You Know Did you know? You can hot-swap code Search Documentation:
Predicate ip_name/2