- 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
- user_property(?User, ?Property) is nondet
- user_property(+User, +Property) is semidet
- True if Property is a defined property on User. In addition to
properties explicitely stored with users, we define:
- session(SessionID)
- connection(LoginTime, Idle)
- url(URL)
- Generates reference to our own OpenID server for local login
- openid(OpenID)
- Refers to the official OpenID (possibly delegated)
- openid_server(Server)
- Refers to the OpenID server that validated the login