- error:has_type(+Type, +Value) is semidet[multifile, library(user_profile)]
- True if Value satisfies Type. This implementation extends the
type logic defined in library(error) with some types that
commonly apply to user profiles.
- To be done
- - : extend with e.g., zip, country, phone, date