validate-input: add swipl input validator

Signed-off-by: Masatake YAMATO <[email protected]>

Author: masatake

Units/parser-prolog.r/module.d/validator

@@ -0,0 +1 @@
+KNOWN-INVALIDATION

Units/parser-prolog.r/validator

@@ -0,0 +1 @@
+swipl

circle.yml

@@ -24,7 +24,7 @@ jobs:
              dnf -y install awk gcc automake autoconf pkgconfig make libseccomp-devel libxml2-devel jansson-devel libyaml-devel pcre2-devel findutils diffutils sudo
              dnf -y install jq puppet python3-sphinx
              # These are for input-validation.
-             dnf -y install g++ jq puppet nodejs gcc-gfortran gcc-gnat
+             dnf -y install g++ jq puppet nodejs gcc-gfortran gcc-gnat swi-prolog
              # nodejs requires libsqlite.so.0 with sqlite-session feature
              # It was tured off in 3.46.1-1.
              dnf -y update sqlite-libs

misc/validators/validator-swipl

@@ -0,0 +1,34 @@
+# -*- sh -*-
+# validator-swipl - validating Prolog input files with swipl
+#
+#  Copyright (c) 2025 Maatake YAMATO
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation; either version 2
+# of the License, or (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
+# USA.
+#
+action=$1
+input="$2"
+cmd=swipl
+flags="--on-error=status -g halt."
+case "$action" in
+    is_runnable)
+	type $cmd > /dev/null 2>&1
+	exit $?
+	;;
+    validate)
+	$cmd $flags "$input" > /dev/null
+	exit $?
+	;;
+esac