1 files changed, 43 insertions, 0 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 7c344988d5..20e6119731 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -67,3 +67,46 @@ manner.  It also features an interactive interpreter.")
     (supported-systems (fold delete
                              %supported-systems
                              '("armhf-linux" "mips64el-linux")))))
+
+;; TODO: This current version of SWI-PROLOG using the
+;; tarball from the official website is completely self-contained
+;; such that all submodules are provided. Eventually replace this
+;; and manually patch those submodules.
+(define-public swi-prolog
+  (package
+    (name "swi-prolog")
+    (version "8.0.3")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append "https://www.swi-prolog.org/download/stable/src/swipl-"
+			    version ".tar.gz"))
+        (sha256
+         (base32
+          "1bnnwbdxnifb1qj42prsqhx8y0k2z596wgvh4bbnd0bw8w59rrff"))))
+    (build-system cmake-build-system)
+    (arguments
+     `(#:parallel-build? #f
+       #:tests? #t)) ; FIXME: 
+       ;#:configure-flags
+	; (list "-DINSTALL_DOCUMENTATION=OFF"))) ; FIXME:
+    (native-inputs
+     `(("zlib" ,zlib)
+       ("gmp" ,gmp)
+       ("readline" ,readline)
+					;("texlive" ,texlive)
+       ("texinfo" ,texinfo)
+       ("libunwind" ,libunwind)
+       ("libjpeg", libjpeg)
+       ("libxft" ,libxft)
+       ("fontconfig" ,fontconfig)
+       ("perl" ,perl)
+       ("pkg-config" ,pkg-config)
+       ("openssl" ,openssl)))
+    (home-page "https://www.swi-prolog.org/")
+    (synopsis "ISO/Edinburgh-style Prolog interpreter")
+    (description "SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog 
+compiler with a rich set of built-in predicates. It offers a fast, robust and 
+small environment which enables substantial applications to be developed with 
+it.")
+    (license #f))) ; TODO: