After your question, I tried the same, from the link you supply, but got different errors: about smtp
, try ?- pack_install(smtp).
that solved the first error for me. Then I have different problems than yours
?- [load].
ERROR: /home/carlo/lib/swipl-6.3.7/library/explain.pl:36:
source_sink `library(helpidx)' does not exist
Warning: /home/carlo/lib/swipl-6.3.7/library/explain.pl:36:
Goal (directive) failed: prolog_explain:load_files(library(helpidx),[if(changed)])
while you are running without GMP support. I'll try to recover helpidx.pl and I'll report the outcome, but cannot say anything about miss GMP support (I do have it).
edit I took the first link that google answer when queried 'swi-prolog generate helpidx', pasted the source in a library directory (paths inspected with ?- file_search_path(library, X).
). Then I've done:
?- [load].
% Library was moved: library(http/dcg_basics) --> library(dcg/basics)
% load compiled 7.36 sec, 33,882 clauses
true.
I think that helpidx.pl is meant to be generated, not picked from a random source.. Next I'll try to understand better the documentation server, to see if I can solve this last problem.
HTH