gnu: trealla: Switch to running the standard tests.

* gnu/packages/prolog.scm (trealla):  Switch to running the standard tests.
[native-inputs]: Delete it.
[arguments]: Adjust the test target to be test.

Running the valgrind memory checks is overkill for our purposes. Valgrind
should only be run in a local development workflow and not in our
CI. Switching to running the standard tests will also mimic what upstream runs
in their own CI for the Trealla project. Switching to running only the
standard tests also greatly reduces the time that it takes to run the full
Guix build for the trealla variable.

Change-Id: I912b85bfbe3fde03e6c0b98a47b2dbaa9b4b5d8a

gnu/packages/prolog.scm

@@ -201,10 +201,6 @@ it.")
         (base32 "0z3zx66v1qx80b97vmb8hhpb52jjbjs9rfz31myw6mf2fsgqb2b7"))
        (file-name (git-file-name name version))))
     (build-system gnu-build-system)
-    (native-inputs
-     (if (supported-package? valgrind/pinned)
-         (list valgrind/pinned)
-         '()))
     (inputs
      (list curl
            gsl
@@ -219,9 +215,7 @@ it.")
       #~(list (string-append "PREFIX=" #$output)
               (string-append "CC=" #$(cc-for-target))
               (string-append "HOST_CC=" #$(cc-for-target)))
-      #:test-target (if (this-package-native-input "valgrind")
-                        "check"
-                        "test")
+      #:test-target "test"
       #:phases
       #~(modify-phases %standard-phases
           ;; Upstream does not use a configure script.