SWI-Prolog Did You Know Did you know? You can get Javadoc style documentation automatically Search Documentation:
Predicate domain_error/2