SWI-Prolog Did You Know Did you know? test Search Documentation:
Predicate parse_type/3