diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm
index 8c41bf46821aefcdcb8436fc132408e1eecfae87..1d9b9943bc6c06b1762649312aec3037951cdbc2 100644
--- a/gnu/packages/gprolog.scm
+++ b/gnu/packages/gprolog.scm
@@ -18,10 +18,11 @@
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
 (define-module (gnu packages gprolog)
+  #:use-module (guix download)
   #:use-module (guix licenses)
   #:use-module (guix packages)
-  #:use-module (guix download)
-  #:use-module (guix build-system gnu))
+  #:use-module (guix build-system gnu)
+  #:use-module (srfi srfi-1))
 
 (define-public gprolog
   (package
@@ -55,4 +56,6 @@ (define-public gprolog
     (license (list gpl2+ lgpl3+))
 
     ;; See 'configure' for the list of supported architectures.
-    (supported-systems (delete "mips64el-linux" %supported-systems))))
+    (supported-systems (fold delete
+                             %supported-systems
+                             '("armhf-linux" "mips64el-linux")))))