Update backend versions

Author: pmoura

README.md

@@ -18,8 +18,8 @@ Online at https://mybinder.org you can currently use:
 
 - ECLiPSe 7.1#13
 - GNU Prolog 1.6.0 (git version)
-- SWI-Prolog 9.3.1 (default)
-- Trealla Prolog 2.43.11
+- SWI-Prolog 9.3.3 (default)
+- Trealla Prolog 2.49.1
 
 Local installation of the kernel supports several other Prolog backends. See
 the kernel repo for details. Limitations in the Docker images used by Binder
@@ -28,8 +28,9 @@ currently prevent installing other Prolog backends supported by the kernel.
 ## Switching between backends
 
 1. Add a code cell at the top of a notebook.
-2. Type `gnu.` to switch to GNU Prolog, `swi.` to switch to SWI-Prolog (but
-this is the default backend), or `trealla.` to switch to Trealla Prolog.
+2. Type `eclipse` to switch to ECLiPSe, `gnu.` to switch to GNU Prolog, `swi.`
+to switch to SWI-Prolog (but this is the default backend), or `trealla.` to
+switch to Trealla Prolog.
 3. Select the cell and execute it (by typing, by default, Shift-Enter).
 
 ## Contributions

binder/postBuild

@@ -21,7 +21,7 @@ cd gprolog/src
 echo 'export PATH=$PATH:$HOME/gprolog/bin' >> $HOME/.profile
 cd ~
 
-git clone --depth 1 --branch V9.3.1 https://github.com/SWI-Prolog/swipl-devel.git
+git clone --depth 1 --branch V9.3.3 https://github.com/SWI-Prolog/swipl-devel.git
 cd swipl-devel
 git submodule update --init
 mkdir build
@@ -32,7 +32,7 @@ ninja install
 echo 'export PATH=$PATH:$HOME/bin' >> $HOME/.profile
 cd ~
 
-git clone --depth 1 --branch v2.43.11 https://github.com/trealla-prolog/trealla
+git clone --depth 1 --branch v2.49.1 https://github.com/trealla-prolog/trealla
 cd trealla
 make clean && make NOSSL=1
 echo 'export PATH=$PATH:$HOME/trealla' >> $HOME/.profile