| user_profile.pl -- User Profile Management | ||
|---|---|---|
| has_type/2 | True if Value satisfies Type. | |
| current_profile/1 | True when ProfileID is a currently known user profile. | |
| current_profile/2 | True when ProfileID is a currently known user profile with the given attributes. | |
| profile_add_session/3 | Associate a profile with a session (login). | |
| profile_canonical_value/3 | True when Value is the canonical value for Attribute that satisfies the type constraint for Attribute. | |
| profile_create/2 | Create a new user profile with the given initial attributes. | |
| profile_open_db/1 | Open the profile database. | |
| profile_property/2 | True when the user with ProfileID has Property. | |
| profile_refresh_session/2 | Update the last access time for the indicated session. | |
| profile_remove/1 | Completely destroy a profile. | |
| profile_remove/2 | Remove an attribute from a profile. | |
| profile_remove_session/2 | Remove the association of a profile with a session (logout). | |
| profile_session/2 | True when ProfileID is associated (logged in) with SessionID. | |
| set_profile/2 | Set an attribute of the profile. | |
| set_profile/3 | Set an attribute of the profile. | |