SWI-Prolog Did You Know Did you know? This website is written entirely in SWI-Prolog Search Documentation:
Predicate add_error_details/3