chore(deps): update Souffle in base image to version 2.5

Signed-off-by: behnazh-w <[email protected]>

Author: behnazh-w

docker/Dockerfile.base

@@ -7,7 +7,7 @@
 # components:
 #   Python3.11.4 compiled and installed from source.
 #   Oracle JDK 17 installed from dnf.
-#   Souffle 2.3 compiled and installed from source.
+#   Souffle 2.5 compiled and installed from source.
 #   Other runtime libraries (e.g sqlite-devel) which are installed from dnf.
 
 FROM container-registry.oracle.com/os/oraclelinux:9-slim@sha256:e2aa8053b4a15f27c5f80666be1190d24aa3f403225f2dd6fdb545979f08482a
@@ -195,7 +195,7 @@ enabled=1\
         make \
         pkg-config \
         rpm-build \
-    && git clone --depth=1 https://github.com/souffle-lang/souffle/ -b 2.4 \
+    && git clone --depth=1 https://github.com/souffle-lang/souffle/ -b 2.5 \
     && cd souffle \
     && cmake -S . -B build -DSOUFFLE_DOMAIN_64BIT=ON -DCMAKE_INSTALL_PREFIX="/usr/local" \
     && nproc="$(nproc)" \