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

/opt/ClioPatria/user/openid.pl
AllApplicationManualNameSummaryHelp

  • ClioPatria
    • user
      • user_db.pl -- User administration
      • openid.pl -- OpenID server and client access
        • openid_for_local_user/2
      • preferences.pl -- User preference handling
 openid_for_local_user(+User, -URL) is semidet
URL is the OpenID for the local user User.
ClioPatria (version V3.1.1-40-g9d9e003)