1:- module(identity_ui, [
2 login_link//1
3 ]).
8:- use_module(weblog(identity/identity)).
*/
17login_link(Generator) --> 18 logged_in_as(Generator, Name, _Role), 19 { 20 call(Generator, show_name), 21 logout_uri(Generator, URI), 22 ( call(Generator, logout_text(Text)) ; Text = ' (logout)') 23 }, 24 html(a(href(URI), Name+Text)). 25login_link(Generator) --> 26 logged_in_as(Generator, _Name, _Role), 27 { 28 logout_uri(Generator, URI), 29 ( call(Generator, logout_text(Text)) ; Text = 'logout') 30 }, 31 html(a(href(URI), Text)). 32login_link(Generator) --> 33 \+ logged_in_as(Generator, _Name, _Role), 34 { 35 login_uri(Generator, URI), 36 ( call(Generator, logout_text(Text)) ; Text = 'Log in') 37 }, 38 html(a(href(URI), Text))
Widgets for registering, logging in, and so on
*/