Did you know ... Search Documentation:
Pack clause_attvars -- prolog/toplevel_variable_names.pl
PublicShow source