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:

access(+Access)

Defines whether or not the user can update the attribute value. Access is one of rw (default) or ro.

hidden(+Boolean)

If true, the attribute is not displayed in the user profile.

default(+Value)

Assumed default if the value is unknown.

 user_profile:attribute(?Name, ?Type, ?Options) is nondet[multifile, config(user_profile)]

Declare profile properties.

 user_profile:attribute(?Name, ?Type, ?Options) is nondet[multifile, config(user_profile)]

Declare profile properties.