• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

/home/vdeboer/src/ClioPatria/ClioPatria/user/user_db.pl
AllApplicationManualNameSummaryHelp

  • 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_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
ClioPatria (version V3.1.1-21-gb8003bb)