Document the prolog language

DOMjudge · May 14, 2024 · 86a89c8 · 86a89c8
1 parent 889ffcb
commit 86a89c8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/doc/manual/install-language.rst b/doc/manual/install-language.rst
@@ -62,6 +62,9 @@ packages for Ubuntu as that is the most used at the moment of writing.
    * - POSIX shell
      - `dash`
      - Default installed in the chroot
+   * - Prolog
+     - `swi-prolog-core-packages`
+     -
    * - Python3
      - `pypy3`/`python3`
      - Default installed in the chroot.

diff --git a/webapp/src/DataFixtures/DefaultData/LanguageFixture.php b/webapp/src/DataFixtures/DefaultData/LanguageFixture.php
@@ -39,7 +39,7 @@ public function load(ObjectManager $manager): void
             ['kt',     'kotlin',     'Kotlin',      ['kt'],                      true,  'Main class', false,  true,   1,     'kt',                'kotlinc -version',   'kotlin -version'],
             ['pas',    'pascal',     'Pascal',      ['pas', 'p'],                false, 'Main file',  false,  true,   1,     'pas',               'fpc -iW',            ''],
             ['pl',     'pl',         'Perl',        ['pl'],                      false, 'Main file',  false,  true,   1,     'pl',                'perl -v',            'perl -v'],
-            ['plg',    'prolog',     'Prolog',      ['plg'],                     false, 'Main file',  false,  true,   1,     'plg',               '',                   ''],
+            ['plg',    'prolog',     'Prolog',      ['plg'],                     false, 'Main file',  false,  true,   1,     'plg',               'swipl --version',    'swipl --version'],
             ['py3',    'python3',    'Python 3',    ['py'],                      false, 'Main file',  true,   true,   1,     'py3',               'pypy3 --version',    'pypy3 --version'],
             ['ocaml',  'ocaml',      'OCaml',       ['ml'],                      false, null,         false,  true,   1,     'ocaml',             'ocamlopt --version', ''],
             ['r',      'r',          'R',           ['R'],                       false, 'Main file',  false,  true,   1,     'r',                 'Rscript --version',  'Rscript --version'],