Hi, it seems this issue hasn't been mentioned anywhere on the mailing
list, so I think it is worth bringing up. Whenever the point is on a
symbol, and an eldoc hint should pop up, I get this error message
instead:
eldoc error: (prolog-exception compound error (compound existence_error (atom . procedure) (compound : (atom . sweep) (compound / (atom . doc_comment) 4))) (compound context (compound : (atom . sweep) (compound / (atom . sweep_documentation_) 3)) variable))
Interestingly, this currently only occurs on the Debian Stable system at
my university, but not on my Debian Stable laptop (I used to have that
issue there as well, but then it suddenly disappeared?). To circumvent
the issue I have been disabling eldoc, but that is obviously suboptimal.
While debugging the issue, and edebugging over `sweeprolog--open-query',
I have even managed to make Emacs crash!
M-x version
GNU Emacs 30.0.50 (build 4, x86_64-pc-linux-gnu, GTK+ Version 3.24.37, cairo version 1.16.0) of 2023-09-21
Due to the crash I have started Emacs in a terminal, and I am now seeing
these warnings, that might be useful to you:
--8<---------------cut here---------------start------------->8---
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:104:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:105:
Warning: Goal (directive) failed: sweep:use_module(library(listing))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:106:
Warning: Goal (directive) failed: sweep:use_module(library(prolog_source))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:107:
Warning: Goal (directive) failed: sweep:use_module(library(prolog_colour))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:108:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_process))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:109:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_wiki))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:110:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_modes))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:111:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_man))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:112:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_html))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:113:
Warning: Goal (directive) failed: sweep:use_module(library(pldoc/man_index))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:114:
Warning: Goal (directive) failed: sweep:use_module(library(lynx/html_text))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:115:
Warning: Goal (directive) failed: sweep:use_module(library(http/html_write))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:116:
Warning: Goal (directive) failed: sweep:use_module(library(prolog_pack))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:117:
Warning: Goal (directive) failed: sweep:use_module(library(prolog_deps))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:118:
Warning: Goal (directive) failed: sweep:use_module(library(dcg/high_order))
Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:125:
Warning: Goal (directive) failed: sweep:use_module(library(help))
--8<---------------cut here---------------end--------------->8---
Do you have any idea what could be going on here?
--
Philip Kaludercic
Hello Philip,
Philip Kaludercic <philip.kaludercic@fau.de> writes:
> Hi, it seems this issue hasn't been mentioned anywhere on the mailing> list, so I think it is worth bringing up.
Of course, thanks for reporting :)
> Whenever the point is on a symbol, and an eldoc hint should pop up, I> get this error message instead:>> eldoc error: (prolog-exception compound error (compound> existence_error (atom . procedure) (compound : (atom . sweep)> (compound / (atom . doc_comment) 4))) (compound context (compound :> (atom . sweep) (compound / (atom . sweep_documentation_) 3))> variable))>
This error says that Sweep tried to call doc_comment/4, but Prolog
doesn't know about that predicate. This is a library predicate from
library(pldoc/doc_process), which your Prolog installation doesn't seem
to be able to locate (also evident from the warnings you mention later).
> Interestingly, this currently only occurs on the Debian Stable system at> my university, but not on my Debian Stable laptop (I used to have that> issue there as well, but then it suddenly disappeared?).
This sounds like a problem with the SWI-Prolog setup on the university
system, the following shell command should give us some more details:
swipl -g check_installation -t halt
Also, how did you install SWI-Prolog? From apt?
>> While debugging the issue, and edebugging over `sweeprolog--open-query',> I have even managed to make Emacs crash!>
Interesting, that sounds like a different issue, probably unrelated. If
this reproduces for you, or if you have more details, I'll look into it.
Thanks,
Eshel
> M-x version> GNU Emacs 30.0.50 (build 4, x86_64-pc-linux-gnu, GTK+ Version 3.24.37, cairo version 1.16.0) of 2023-09-21>> Due to the crash I have started Emacs in a terminal, and I am now seeing> these warnings, that might be useful to you:>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:104:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:105:> Warning: Goal (directive) failed: sweep:use_module(library(listing))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:106:> Warning: Goal (directive) failed: sweep:use_module(library(prolog_source))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:107:> Warning: Goal (directive) failed: sweep:use_module(library(prolog_colour))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:108:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_process))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:109:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_wiki))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:110:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_modes))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:111:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_man))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:112:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_html))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:113:> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/man_index))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:114:> Warning: Goal (directive) failed: sweep:use_module(library(lynx/html_text))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:115:> Warning: Goal (directive) failed: sweep:use_module(library(http/html_write))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:116:> Warning: Goal (directive) failed: sweep:use_module(library(prolog_pack))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:117:> Warning: Goal (directive) failed: sweep:use_module(library(prolog_deps))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:118:> Warning: Goal (directive) failed: sweep:use_module(library(dcg/high_order))> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:125:> Warning: Goal (directive) failed: sweep:use_module(library(help))>> Do you have any idea what could be going on here?
(Sorry for the late response, I had apparently falsely assumed that I've
already responded to this message)
Eshel Yaron <me@eshelyaron.com> writes:
> Hello Philip,>> Philip Kaludercic <philip.kaludercic@fau.de> writes:>>> Hi, it seems this issue hasn't been mentioned anywhere on the mailing>> list, so I think it is worth bringing up.>> Of course, thanks for reporting :)>>> Whenever the point is on a symbol, and an eldoc hint should pop up, I>> get this error message instead:>>>> eldoc error: (prolog-exception compound error (compound>> existence_error (atom . procedure) (compound : (atom . sweep)>> (compound / (atom . doc_comment) 4))) (compound context (compound :>> (atom . sweep) (compound / (atom . sweep_documentation_) 3))>> variable))>>>> This error says that Sweep tried to call doc_comment/4, but Prolog> doesn't know about that predicate. This is a library predicate from> library(pldoc/doc_process), which your Prolog installation doesn't seem> to be able to locate (also evident from the warnings you mention later).>>> Interestingly, this currently only occurs on the Debian Stable system at>> my university, but not on my Debian Stable laptop (I used to have that>> issue there as well, but then it suddenly disappeared?).>> This sounds like a problem with the SWI-Prolog setup on the university> system, the following shell command should give us some more details:>> swipl -g check_installation -t halt
I get this:
--8<---------------cut here---------------start------------->8---
% Checking your SWI-Prolog kit for common issues ...
%
% Version: ............. 9.0.4
% Address bits: ........ 64
% Architecture: ........ x86_64-linux
% Installed at: ........ /usr/lib/swi-prolog
% Cores: ............... 24
%
% Checking tcmalloc ............................ ok
% Checking gmp ................................. ok
% Loading library(archive) ..................... ok
% Supported filters: bzip2, compress, gzip, grzip, lrzip, lzip, lzma, lzop, none, rpm, uu, xz
% Supported formats: 7zip, ar, cab, cpio, empty, gnutar, iso9660, lha, mtree, rar, raw, tar, xar, zip
% Loading library(cgi) ......................... ok
% Loading library(crypt) ....................... ok
Warning: library(bdb) .......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/bdb.html
% Loading library(double_metaphone) ............ ok
% Loading library(filesex) ..................... ok
% Loading library(http/http_stream) ............ ok
% Loading library(http/json) ................... ok
% Loading library(http/jquery) ................. ok
% jQuery from /usr/share/javascript/jquery/jquery.min.js
% Loading library(isub) ........................ ok
Warning: library(jpl) .......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/jpl.html
% Loading library(memfile) ..................... ok
Warning: library(odbc) ......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/odbc.html
% Loading library(pce) ......................... ok
% Loading library(pcre) ........................ ok
% Loading library(pdt_console) ................. ok
% Loading library(porter_stem) ................. ok
% Loading library(process) ..................... ok
% Loading library(protobufs) ................... ok
% Loading library(editline) .................... ok
% Loading library(readline) .................... ok
% Loading library(readutil) .................... ok
% Loading library(rlimit) ...................... ok
% Loading library(semweb/rdf_db) ............... ok
% Loading library(semweb/rdf_ntriples) ......... ok
% Loading library(semweb/turtle) ............... ok
% Loading library(sgml) ........................ ok
% Loading library(sha) ......................... ok
% Loading library(snowball) .................... ok
% Loading library(socket) ...................... ok
% Loading library(ssl) ......................... ok
% Loading library(sweep_link) .................. ok
% GNU-Emacs plugin loads
% L /lib/x86_64-linux-gnu/libswipl.so.9
% M /usr/lib/swi-prolog/lib/x86_64-linux/sweep-module.so
% Loading library(crypto) ...................... ok
% Loading library(syslog) ...................... ok
% Loading library(table) ....................... ok
% Loading library(time) ........................ ok
% Loading library(tipc/tipc) ................... ok
% Loading library(unicode) ..................... ok
% Loading library(uri) ......................... ok
% Loading library(uuid) ........................ ok
% Loading library(zlib) ........................ ok
% Loading library(yaml) ........................ ok
Warning: Found 3 issues.
--8<---------------cut here---------------end--------------->8---
> Also, how did you install SWI-Prolog? From apt?
I haven't installed anything myself, but from what I understand the
system administrators just used the default Debian package.
>>>> While debugging the issue, and edebugging over `sweeprolog--open-query',>> I have even managed to make Emacs crash!>>>> Interesting, that sounds like a different issue, probably unrelated. If> this reproduces for you, or if you have more details, I'll look into it.
I believe so as well, it might even be unrelated to sweep and just be an
issue involving edebug and Emacs modules.
> Thanks,>> Eshel>>>> M-x version>> GNU Emacs 30.0.50 (build 4, x86_64-pc-linux-gnu, GTK+ Version 3.24.37, cairo version 1.16.0) of 2023-09-21>>>> Due to the crash I have started Emacs in a terminal, and I am now seeing>> these warnings, that might be useful to you:>>>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:104:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:105:>> Warning: Goal (directive) failed: sweep:use_module(library(listing))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:106:>> Warning: Goal (directive) failed: sweep:use_module(library(prolog_source))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:107:>> Warning: Goal (directive) failed: sweep:use_module(library(prolog_colour))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:108:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_process))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:109:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_wiki))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:110:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_modes))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:111:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_man))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:112:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/doc_html))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:113:>> Warning: Goal (directive) failed: sweep:use_module(library(pldoc/man_index))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:114:>> Warning: Goal (directive) failed: sweep:use_module(library(lynx/html_text))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:115:>> Warning: Goal (directive) failed: sweep:use_module(library(http/html_write))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:116:>> Warning: Goal (directive) failed: sweep:use_module(library(prolog_pack))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:117:>> Warning: Goal (directive) failed: sweep:use_module(library(prolog_deps))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:118:>> Warning: Goal (directive) failed: sweep:use_module(library(dcg/high_order))>> Warning: /home/cip/2017/oj14ozun/.config/emacs/elpa/sweeprolog-0.25.0/sweep.pl:125:>> Warning: Goal (directive) failed: sweep:use_module(library(help))>>>> Do you have any idea what could be going on here?
Hi,
Philip Kaludercic <philipk@posteo.net> writes:
> (Sorry for the late response, I had apparently falsely assumed that I've> already responded to this message)>> Eshel Yaron <me@eshelyaron.com> writes:>
[...27 lines elided...]
>> This sounds like a problem with the SWI-Prolog setup on the university>> system, the following shell command should give us some more details:>>>> swipl -g check_installation -t halt>> I get this:>> % Checking your SWI-Prolog kit for common issues ...> % > % Version: ............. 9.0.4> % Address bits: ........ 64> % Architecture: ........ x86_64-linux> % Installed at: ........ /usr/lib/swi-prolog> % Cores: ............... 24
[...54 lines elided...]
> Warning: Found 3 issues.
Thanks, unfortunately that doesn't give us a clear reason why
doc_comment/4 can't be found.
I still tend to think it's a problem with the SWI-Prolog installation,
could you try to load the Prolog modules that Sweep can't seem to find
in a regular SWI-Prolog top-level (from a shell outside of Emacs)? If
something like `use_module(library(prolog_source))` works in the regular
top-level that would point to a problem with Sweep, otherwise it'd mean
we can probably rule out Sweep as the root cause.
>> Also, how did you install SWI-Prolog? From apt?>> I haven't installed anything myself, but from what I understand the> system administrators just used the default Debian package.
Makes sense, I can't reproduce this with SWI-Prolog from `apt` on my
Debian 12 machine though :(
Cheers,
Eshel
Eshel Yaron <me@eshelyaron.com> writes:
> Hi,>> Philip Kaludercic <philipk@posteo.net> writes:>>> (Sorry for the late response, I had apparently falsely assumed that I've>> already responded to this message)>>>> Eshel Yaron <me@eshelyaron.com> writes:>>>> [...27 lines elided...]>>>> This sounds like a problem with the SWI-Prolog setup on the university>>> system, the following shell command should give us some more details:>>>>>> swipl -g check_installation -t halt>>>> I get this:>>>> % Checking your SWI-Prolog kit for common issues ...>> % >> % Version: ............. 9.0.4>> % Address bits: ........ 64>> % Architecture: ........ x86_64-linux>> % Installed at: ........ /usr/lib/swi-prolog>> % Cores: ............... 24>> [...54 lines elided...]>>> Warning: Found 3 issues.>> Thanks, unfortunately that doesn't give us a clear reason why> doc_comment/4 can't be found.>> I still tend to think it's a problem with the SWI-Prolog installation,> could you try to load the Prolog modules that Sweep can't seem to find> in a regular SWI-Prolog top-level (from a shell outside of Emacs)? If> something like `use_module(library(prolog_source))` works in the regular> top-level that would point to a problem with Sweep, otherwise it'd mean> we can probably rule out Sweep as the root cause.
Looks like it doesn't work:
--8<---------------cut here---------------start------------->8---
?- use_module(library(prolog_source)).
false.
--8<---------------cut here---------------end--------------->8---
Do you know what can cause this issue?
>>> Also, how did you install SWI-Prolog? From apt?>>>> I haven't installed anything myself, but from what I understand the>> system administrators just used the default Debian package.>> Makes sense, I can't reproduce this with SWI-Prolog from `apt` on my> Debian 12 machine though :(
As I said, I appear not to have the issue on my Debian 12 laptop, just
on the shared university system.
>> Cheers,>> Eshel
Philip Kaludercic <philipk@posteo.net> writes:
> Eshel Yaron <me@eshelyaron.com> writes:>>> I still tend to think it's a problem with the SWI-Prolog installation,>> could you try to load the Prolog modules that Sweep can't seem to find>> in a regular SWI-Prolog top-level (from a shell outside of Emacs)? If>> something like `use_module(library(prolog_source))` works in the regular>> top-level that would point to a problem with Sweep, otherwise it'd mean>> we can probably rule out Sweep as the root cause.>> Looks like it doesn't work:>> ?- use_module(library(prolog_source)).> false.>> Do you know what can cause this issue?>
Unfortunately, not really. It looks like a defunct SWI-Prolog
installation, with several missing library modules, but I'm not sure
what would cause that. I wonder if you can find these missing Prolog
files on disk, the following query should return the directory in which
SWI-Prolog expects to find these files:
?- absolute_file_name(library(.), LibraryDirectory).
On my Debian machine I get /lib/swi-prolog/library, but you may get
/usr/lib/swi-prolog/library or something similar. That directory should
contain prolog_source.pl along with other Prolog library modules.
Note that if you're able to install SWI-Prolog separately on your
university machine, perhaps building from source, you can instruct Sweep
to use your private installation instead of the global installation by
setting `sweeprolog-swipl-path` to your copy of the `swipl` executable.
Eshel
OK, nevermind everything I have said up until now. The issue turns out
to have been my own. In my ~/.config/swi-prolog/init.pl I had
--8<---------------cut here---------------start------------->8---
use_module(library(clpfd)).
--8<---------------cut here---------------end--------------->8---
instead of
--8<---------------cut here---------------start------------->8---
:- use_module(library(clpfd)).
--8<---------------cut here---------------end--------------->8---
and apparently that messed everything up. Thank you for your help
anyway ^^.
Eshel Yaron <me@eshelyaron.com> writes:
> Philip Kaludercic <philipk@posteo.net> writes:>>> Eshel Yaron <me@eshelyaron.com> writes:>>>>> I still tend to think it's a problem with the SWI-Prolog installation,>>> could you try to load the Prolog modules that Sweep can't seem to find>>> in a regular SWI-Prolog top-level (from a shell outside of Emacs)? If>>> something like `use_module(library(prolog_source))` works in the regular>>> top-level that would point to a problem with Sweep, otherwise it'd mean>>> we can probably rule out Sweep as the root cause.>>>> Looks like it doesn't work:>>>> ?- use_module(library(prolog_source)).>> false.>>>> Do you know what can cause this issue?>>>> Unfortunately, not really. It looks like a defunct SWI-Prolog> installation, with several missing library modules, but I'm not sure> what would cause that. I wonder if you can find these missing Prolog> files on disk, the following query should return the directory in which> SWI-Prolog expects to find these files:>> ?- absolute_file_name(library(.), LibraryDirectory).>> On my Debian machine I get /lib/swi-prolog/library, but you may get> /usr/lib/swi-prolog/library or something similar. That directory should> contain prolog_source.pl along with other Prolog library modules.>> Note that if you're able to install SWI-Prolog separately on your> university machine, perhaps building from source, you can instruct Sweep> to use your private installation instead of the global installation by> setting `sweeprolog-swipl-path` to your copy of the `swipl` executable.>>> Eshel
Philip Kaludercic <philipk@posteo.net> writes:
> OK, nevermind everything I have said up until now. The issue turns out> to have been my own. In my ~/.config/swi-prolog/init.pl I had>> use_module(library(clpfd)).>>> instead of >> :- use_module(library(clpfd)).>> and apparently that messed everything up.
I see, that explains why `use_module/1` failed for all these modules,
makes sense!
> Thank you for your help anyway ^^.
Gladly.
Eshel