SWI-Prolog Did You Know Did you know? SWI-Prolog has a Graphic Debugger Search Documentation:
Predicate version/0