diff --git a/gnu/local.mk b/gnu/local.mk
index f9f299d422..0db5f1cbd6 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -229,7 +229,6 @@ GNU_SYSTEM_MODULES =				\
   %D%/packages/golang.scm			\
   %D%/packages/gperf.scm			\
   %D%/packages/gpodder.scm			\
-  %D%/packages/gprolog.scm			\
   %D%/packages/gps.scm				\
   %D%/packages/graph.scm			\
   %D%/packages/graphics.scm			\
@@ -405,6 +404,7 @@ GNU_SYSTEM_MODULES =				\
   %D%/packages/popt.scm				\
   %D%/packages/printers.scm			\
   %D%/packages/profiling.scm			\
+  %D%/packages/prolog.scm			\
   %D%/packages/pth.scm				\
   %D%/packages/pulseaudio.scm			\
   %D%/packages/pumpio.scm			\
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/prolog.scm
similarity index 96%
rename from gnu/packages/gprolog.scm
rename to gnu/packages/prolog.scm
index 166bf33294..7c344988d5 100644
--- a/gnu/packages/gprolog.scm
+++ b/gnu/packages/prolog.scm
@@ -1,6 +1,7 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org>
 ;;; Copyright © 2013 Mark H Weaver <mhw@netris.org>
+;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -17,7 +18,7 @@
 ;;; You should have received a copy of the GNU General Public License
 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
 
-(define-module (gnu packages gprolog)
+(define-module (gnu packages prolog)
   #:use-module (guix download)
   #:use-module (guix licenses)
   #:use-module (guix packages)