:- use_module(library(http/http_authenticate)). [nondet]http_current_user(+File, 
?User, ?Fields)
[nondet]http_current_user(+File, 
?User, ?Fields)| Fields | are the fields from the password file File, converted using name/2, which means that numeric values are passed as numbers and other fields as atoms. The password hash is the first element of Fields and is a string. |