Bumped minimal Prolog version

Author: kamahen

Makefile

@@ -913,7 +913,7 @@ upgrade-emacs:
 		echo MAYBE git clean -dxf && \
 		git pull --jobs=8 --recurse --rebase=no && \
 		./autogen.sh && \
-		./configure --prefix=$$HOME/.local --with-harfbuzz && \
+		./configure --prefix=$$HOME/.local --with-harfbuzz --with-native-compilation=no && \
 		make -j $(NPROC_BAZEL) bootstrap && \
 		make install
 

README.md

@@ -153,7 +153,7 @@ impossible and I really don't feel like becoming a git guru.
 
 
 * Install [SWI-Prolog](http://www.swi-prolog.org/Download.html). You
-  need at least version 8.3.24, so as of 2021-05-08, this means
+  need at least version 9.3.5, so as of 2024-04-30, this means
   using the "devel" download or PPA.
   For Ubuntu, Debian, and similar (following the instructions at https://www.swi-prolog.org/build/PPA.html):
   *  `sudo apt install software-properties-common`
@@ -492,6 +492,13 @@ UTF8 everywhere).
 
 ## Known issues
 
+* You might get a mysterious error message about
+  "builtins_version(...) should be ..."; this typically indicates
+  that the Prolog or Python interpreter has changed since the
+  last processing. The simplest solution is to delete all the output
+  (e.g., `rm -rf /tmp/pykythe`) and re-run.
+
+
 * See also https://github.com/kamahen/pykythe/issues
 
 * Needs more documentation.

scripts/demo.sh

@@ -14,7 +14,7 @@ set -o pipefail
 SRCDIR=$HOME/src             # Change as needed
 DOWNLOADDIR=$HOME/Downloads  # Change as needed
 KYTHE_VERSION=v0.0.37        # Change as needed
-NEED_SWIPL_VERSION="8.3.24"  # Change as needed
+NEED_SWIPL_VERSION="9.3.5"   # Change as needed
 
 # The following are needed only if you don't have Python3.7 already:
 # sudo add-apt-repository ppa:deadsnakes/ppa