Add Prolog language (#533)

* Add Prolog language

Add Prolog language, including dockerfile, wrapper for swipl, svg for
swipl logo, and hint about reading from argv

* Ensure unicode characters can be printed.

* Update dockerfile to fix unicode ARGV error. Update size accordingly.

Author: annaproxy

config/langs.toml

@@ -541,6 +541,23 @@ ForEach ($arg in $args) {
 }
 '''
 
+[Prolog]
+size    = '30.8 MiB'
+version = 'SWI-Prolog 8.4.0'
+website = 'https://www.swi-prolog.org/'
+example = '''
+% Printing
+:- writeln("Hello, world").
+
+% Looping
+:- numlist(0, 9, List),
+   maplist(writeln, List).
+
+% Accessing arguments
+:- current_prolog_flag(argv, [_| Args]),
+   maplist(writeln, Args).
+'''
+
 [Python]
 size    = '58.4 MiB'
 version = '3.10.0'

css/golfer/holes.css

@@ -56,6 +56,7 @@ input.pascal:not(:checked)     ~ .pascal,
 input.perl:not(:checked)       ~ .perl,
 input.php:not(:checked)        ~ .php,
 input.powershell:not(:checked) ~ .powershell,
+input.prolog:not(:checked)     ~ .prolog,
 input.python:not(:checked)     ~ .python,
 input.raku:not(:checked)       ~ .raku,
 input.ruby:not(:checked)       ~ .ruby,
@@ -89,7 +90,7 @@ main svg:nth-of-type(2) {
 
 @media (min-width: 95rem) {
     /* Increase this number when adding a language. */
-    main { grid-template-columns: 4fr repeat(33, 1fr) }
+    main { grid-template-columns: 4fr repeat(34, 1fr) }
 
     main a { height: 1.9rem }
 

db/a-schema.sql

@@ -40,7 +40,7 @@ CREATE TYPE lang AS ENUM (
     'assembly', 'bash', 'brainfuck', 'c', 'c-sharp', 'cobol', 'crystal',
     'f-sharp', 'fish', 'fortran', 'go', 'haskell', 'hexagony', 'j', 'java',
     'javascript', 'julia', 'lisp', 'lua', 'nim', 'pascal', 'perl', 'php',
-    'powershell', 'python', 'raku', 'ruby', 'rust', 'sql', 'swift', 'v',
+    'powershell', 'prolog', 'python', 'raku', 'ruby', 'rust', 'sql', 'swift', 'v',
     'viml', 'zig'
 );
 

docker/dev.Dockerfile

@@ -25,6 +25,7 @@ COPY --from=codegolf/lang-raku       ["/", "/langs/raku/rootfs/"      ] # 46.6 M
 COPY --from=codegolf/lang-v          ["/", "/langs/v/rootfs/"         ] # 35.4 MiB
 COPY --from=codegolf/lang-lisp       ["/", "/langs/lisp/rootfs/"      ] # 33.6 MiB
 COPY --from=codegolf/lang-pascal     ["/", "/langs/pascal/rootfs/"    ] # 31.3 MiB
+COPY --from=codegolf/lang-prolog     ["/", "/langs/prolog/rootfs/"    ] # 30.8 MiB
 COPY --from=codegolf/lang-viml       ["/", "/langs/viml/rootfs/"      ] # 21.3 MiB
 COPY --from=codegolf/lang-javascript ["/", "/langs/javascript/rootfs/"] # 20.7 MiB
 COPY --from=codegolf/lang-ruby       ["/", "/langs/ruby/rootfs/"      ] # 14.4 MiB
@@ -39,7 +40,6 @@ COPY --from=codegolf/lang-c          ["/", "/langs/c/rootfs/"         ] # 1.61 M
 COPY --from=codegolf/lang-bash       ["/", "/langs/bash/rootfs/"      ] # 1.14 MiB
 COPY --from=codegolf/lang-sql        ["/", "/langs/sql/rootfs/"       ] # 1.03 MiB
 COPY --from=codegolf/lang-lua        ["/", "/langs/lua/rootfs/"       ] #  338 KiB
-
 COPY run-lang.c ./
 
 RUN gcc -Wall -Werror -Wextra -o /usr/bin/run-lang -s -static run-lang.c

docker/live.Dockerfile

@@ -38,6 +38,7 @@ COPY --from=codegolf/lang-raku       ["/", "/langs/raku/rootfs/"      ] # 46.6 M
 COPY --from=codegolf/lang-v          ["/", "/langs/v/rootfs/"         ] # 35.4 MiB
 COPY --from=codegolf/lang-lisp       ["/", "/langs/lisp/rootfs/"      ] # 33.6 MiB
 COPY --from=codegolf/lang-pascal     ["/", "/langs/pascal/rootfs/"    ] # 31.3 MiB
+COPY --from=codegolf/lang-prolog     ["/", "/langs/prolog/rootfs/"    ] # 30.8 MiB
 COPY --from=codegolf/lang-viml       ["/", "/langs/viml/rootfs/"      ] # 21.3 MiB
 COPY --from=codegolf/lang-javascript ["/", "/langs/javascript/rootfs/"] # 20.7 MiB
 COPY --from=codegolf/lang-ruby       ["/", "/langs/ruby/rootfs/"      ] # 14.4 MiB

js/_codemirror.js

@@ -110,6 +110,7 @@ export const extensions = {
     'perl':       StreamLanguage.define(perl),
     'php':        php({ plain: true }),
     'powershell': StreamLanguage.define(powerShell),
+    // TODO prolog
     'python':     python(),
     // TODO raku
     'ruby':       StreamLanguage.define(ruby),

langs/prolog/Dockerfile

@@ -0,0 +1,27 @@
+FROM swipl:8.4.0 as builder
+
+RUN mkdir /empty
+
+RUN rm -rf /usr/lib/swipl/doc
+
+FROM scratch
+
+COPY --from=0 /bin/sh         \
+              /bin/cat        /bin/
+COPY --from=0 /usr/bin/swipl  /usr/bin/
+COPY --from=0 /lib            /lib
+COPY --from=0 /lib64          /lib64
+COPY --from=0 /empty          /proc
+COPY --from=0 /empty          /tmp
+COPY --from=0 /usr/lib/swipl  /usr/lib/swipl
+COPY --from=0 /usr/lib/locale /usr/lib/locale
+COPY --from=0 /usr/lib/libtcmalloc_minimal.so.4        \
+              /usr/lib/x86_64-linux-gnu/libstdc++.so.6 \
+              /usr/lib/x86_64-linux-gnu/libform.so.5   \
+              /usr/lib/x86_64-linux-gnu/libgmp.so.10   /usr/lib/
+
+COPY prolog /usr/bin/
+
+ENTRYPOINT ["/usr/bin/prolog"]
+
+CMD ["--version"]

langs/prolog/prolog

@@ -0,0 +1,17 @@
+#!/bin/sh -e
+export LC_ALL=C.UTF-8
+
+# Check for version
+if [ "$1" = "--version" ]; then
+    /usr/bin/swipl --version
+    exit 0
+fi
+
+# Put user-defined predicates in file
+cd /tmp
+cat - > code.pl
+
+# Ensure interpreter never shows its face in the output box.
+# Concatenate 'halt' as a goal to every program.
+
+swipl --quiet --on-error=halt -g 'halt.' code.pl "$@"

svg/prolog.svg

@@ -117,6 +117,9 @@ <h1>{{ .Data.Hole.Name }}</h1>
         <b>$args</b> to access the arguments.
     </div>
 {{ end }}
+    <div class="info prolog">
+        Your code will be passed to <b>swipl</b> as an external file. <b>current_prolog_flag(argv, [_|Args])</b> to access the arguments.
+    </div>
     <div class="info sql">
         <b>SELECT arg FROM argv</b> to access the arguments, only the first
         column of the first result set will be printed, NULL values will be