- ClioPatria
- user
- user_db.pl -- User administration
- set_user_database/1
- user_add/2
- user_del/1
- set_user_property/2
- openid_add_server/2
- openid_del_server/1
- openid_set_property/2
- openid_current_server/1
- openid_server_properties/2
- openid_server_property/2
- current_user/1
- user_property/2
- validate_password/2
- password_hash/2
- logged_on/1
- logged_on/2
- ensure_logged_on/1
- authorized/1
- check_permission/2
- deny_all_users/1
- login/1
- logout/1
- openid.pl -- OpenID server and client access
- preferences.pl -- User preference handling
- user_db.pl -- User administration
- user
- openid_set_property(+Server, +Property) is det
- Replace Property for OpenID Server