Did you know ... Search Documentation:
Predicate proxy_for_url/3
Availability::- use_module(library(socket)).
Source[nondet,multifile]proxy_for_url(+URL, +Hostname, -Proxy)
This hook can be implemented to return a proxy to try when connecting to URL. Returned proxies are tried in the order in which they are returned by the multifile hook try_proxy/4. Pre-defined proxy methods are:
direct
connect directly to the resource
proxy(Host, Port)
Connect to the resource using an HTTP proxy. If the resource is not an HTTP URL, then try to connect using the CONNECT verb, otherwise, use the GET verb.
socks(Host, Port)
Connect to the resource via a SOCKS5 proxy

These correspond to the proxy methods defined by PAC Proxy auto-config. Additional methods can be returned if suitable clauses for http:http_connection_over_proxy/6 or try_proxy/4 are defined.

Tags are associated to your profile if you are logged in
Tags:
Edward Schwartz said (2022-11-30T14:05:23):0 upvotes 0 0 downvotes
Picture of user Edward Schwartz.

If you put the following in your init.pl file, it will attempt to parse the http_proxy environment variable and use the result in proxy_for_url/3.

:- use_module(library(socket)).

proxy(Host, Port) :-
  getenv("http_proxy", Proxy),
  parse_url(Proxy, Attrs),
  member(host(Host), Attrs),
  member(port(Port), Attrs).

socket:proxy_for_url(A,B,C) :-
  proxy(Host, Port),
  C = proxy(Host, Port).