SWI-Prolog Did You Know Did you know? condition is an alternative to exceptions Search Documentation:
Activating PceEmacs