:- ['~/.plrc']. :- dynamic user:file_search_path/2. :- multifile user:file_search_path/2. :- asserta(user:file_search_path(library, '.')). :- asserta(user:file_search_path(pldoc, '.')). :- load_files([ pldoc, doc_http, doc_latex, library(http/http_error) ], [ silent(true), if(not_loaded) ]). :- debug(pldoc). % Using doc_server(4004, []), the server is publically available % on the internet. ?- doc_server(4004) only allows access from % localhost. % :- doc_server(4004, []). :- doc_server(4004).