Did you know ... Search Documentation:
Pack pfc -- prolog/pfc_pack_umt.pl
PublicShow source
 umt(+H) is nondet
Clause Or Call.