Trying SWIPL for the first time on a Pixelbook. I’ve got most things working, but pack installation isn’t co-operating. I can’t tell exactly where in the pipeline things are going wrong. At any rate, this is my output:
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
For help, use ?- help(Topic). or ?- apropos(Word).
?- pack_list( X ).
% Contacting server at http://www.swi-prolog.org/pack/query ...
ERROR: SSL(14090086) ssl3_get_server_certificate: certificate verify failed
I’ve tried the usual gubbins at the Linux prompt updating with apt-get, calling update-ca-certificates etc. No joy. I haven’t seen similar errors outside of this context (i.e. getting hold of packs for SWIPL).
I did manage to download the pack for which I was looking manually (function_expansion) but I can’t work out how to use pack_install/1 to work with it. What would the format of that call look like? (I was thinking it might want a string specifing the local dir but it wants an atom specifically.)