diff --git a/exec-container/build.sh b/exec-container/build.sh
index f47b7a1..aa7e0ff 100755
--- a/exec-container/build.sh
+++ b/exec-container/build.sh
@@ -1,6 +1,8 @@
 #!/bin/bash
 
+set -eux
+
 touch result
 docker build -t trao-nix .
 docker volume create trao-nix_cache
-docker run -v ./result:/result -v trao-nix_cache:/nix/store trao-nix
+docker run -v ./result:/result -v trao-nix_cache:/nix/store --platform=linux/amd64 trao-nix
diff --git a/exec-container/interpreters/default.nix b/exec-container/interpreters/default.nix
index 55bb745..f526387 100644
--- a/exec-container/interpreters/default.nix
+++ b/exec-container/interpreters/default.nix
@@ -13,6 +13,7 @@
   zsh = import ./zsh {inherit pkgs;};
   lua = import ./lua {inherit pkgs;};
   r = import ./r {inherit pkgs;};
+  prolog = import ./prolog {inherit pkgs;};
 in {
   all = [
     python.python311
@@ -30,5 +31,6 @@ in {
     zsh
     lua
     r
+    prolog
   ];
 }
diff --git a/exec-container/interpreters/prolog/default.nix b/exec-container/interpreters/prolog/default.nix
new file mode 100644
index 0000000..2e1bf49
--- /dev/null
+++ b/exec-container/interpreters/prolog/default.nix
@@ -0,0 +1,4 @@
+{pkgs, ...}: let
+  myProlog = pkgs.swi-prolog;
+in
+  pkgs.writeShellScriptBin "swipl" "exec ${myProlog}/bin/swipl $@"