Swi Prolog seems to start up an old version, after an update

Help!
1

I am using Linux Mint Cinnamon.

I’m have recently updated SWI Prolog to SWI-Prolog version 9.3.30,

using the update manager, mintUpdate. Its a Flatpack.

I want the code to: start up Swipl version 9.3.30 when I enter “$ swipl” in a Terminal.

But what I’m getting is: it still uses version 9.0.4, in the Terminal.

I can start the Swi Prolog Console from the Start Menu, and it says its version 9.3.30.

% your code here
2

It seems you have two versions, both the normal binary and the flatpak. You can delete the apt package for swi-prolog. Next, you can add a script, alias or bash function to run the flatpak from the commandline using this command. This is the same as running swipl-win, i.e., it shows a Prolog console.

flatpak run org.swi_prolog.swipl [arg ...]

Alternatively, use this to run the commandline version in the calling terminal.

flatpak run  --command=swipl org.swi_prolog.swipl [arg ...]

Note that the flatpak version is more limited. For most it should be fine though.

3

Thank you, those two flatpack commands work fine.

In what way is the flatpack version more linited?

4

One is that the JPL and ODBC packages are lacking. I suspect there are also issues with adding extensions that involve foreign components, but I did not investigate that. Roughly, a flatpak executable runs in a container that provides its own libraries and executables and has restricted access to the host system. I’m not a flatpak expert though …

5

That is okay. I don’t need JPL or ODBC. The flatpack verion is probably all I need.