 doc_server(?Port, 
+Options)
doc_server(?Port, 
+Options)///false, do not allow editing, even if the connection 
comes from localhost. Intended together with the root 
option to make pldoc available from behind a reverse proxy. See the HTTP 
package for configuring a Prolog server behind an
Apache 
reverse proxy.allow('.uva.nl') 
grants access to all machines in this domain. IP addresses are specified 
using the library(socket) ip/4 
term. I.e. to allow access from the 10.0.0.X domain, specify
allow(ip(10,0,0,_)).allow option.Access is granted iff