[multifile]http:authenticate(+AuthData, 
+Request, -Fields)library(http_dispatch) to perform basic HTTP 
authentication.
This predicate throws http_reply(authorise(basic, Realm)).
| AuthData | must be a term basic(File, Realm)  | 
| Request | is the HTTP request | 
| Fields | describes the authenticated user with 
the option
user(User) and with the option user_details(Fields) 
if the password file contains additional fields after the user and 
password.  | 
[multifile]http:authenticate(+Digest, 
+Request, -Fields)library(http_dispatch) to perform basic HTTP 
authentication. Note that we keep the authentication details cached to 
avoid a‘nonce-replay’error in the case that the application 
tries to verify multiple times.
This predicate throws http_reply(authorise(digest(Digest)))
| Digest | is a term digest(File, Realm, Options)  | 
| Request | is the HTTP request | 
| Fields | describes the authenticated user with 
the option
user(User) and with the option user_details(Fields) 
if the password file contains additional fields after the user and 
password.  |