attribute(?Attribute, ?Type, ?Options) is nondet[multifile, library(user_profile)]
Multifile hook that defines that the profile attribute Attribute must have the type Type. Type are types as defined by must_be/2 from library(error). Options defined are:
Defines whether or not the user can update the attribute value. Access is one of rw (default) or ro.
If true, the attribute is not displayed in the user profile.
Assumed default if the value is unknown.
 user_profile:attribute(?Name, ?Type, ?Options) is nondet[multifile, config(user_profile)]
Declare profile properties.