SWI-Prolog Did You Know Did you know? test Search Documentation:
Predicate key/2