Did you know ... Search Documentation:
Pack identity -- prolog/identity/login_database.pl
PublicShow source
 user_property(?UName, ?Property) is nondet
True when Property is a property of user. In a real application this should of course be a proper persistent database and passwords should be properly hashed.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 authenticate_user(Arg1, Arg2, Arg3)
 add_user(Arg1, Arg2, Arg3)
 current_user(Arg1, Arg2)
 set_user_property(Arg1, Arg2)
 assert_user_property(Arg1, Arg2)
 retract_user_property(Arg1, Arg2)
 retractall_user_property(Arg1, Arg2)