summaryrefslogtreecommitdiff
path: root/prolog/problems/dcg/ab_2
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/dcg/ab_2')
-rw-r--r--prolog/problems/dcg/ab_2/common.py4
-rw-r--r--prolog/problems/dcg/ab_2/en.py2
-rw-r--r--prolog/problems/dcg/ab_2/sl.py2
3 files changed, 4 insertions, 4 deletions
diff --git a/prolog/problems/dcg/ab_2/common.py b/prolog/problems/dcg/ab_2/common.py
index 7bde558..4c20a86 100644
--- a/prolog/problems/dcg/ab_2/common.py
+++ b/prolog/problems/dcg/ab_2/common.py
@@ -1,6 +1,6 @@
id = 162
-number = 69
-visible = False
+number = 10
+visible = True
facts = None
solution = '''\
diff --git a/prolog/problems/dcg/ab_2/en.py b/prolog/problems/dcg/ab_2/en.py
index 53f9e9a..9a709b1 100644
--- a/prolog/problems/dcg/ab_2/en.py
+++ b/prolog/problems/dcg/ab_2/en.py
@@ -4,6 +4,6 @@ slug = 'a*b*'
description = '''\
<p>Write a DCG with the starting symbol <code>ab</code> for the language <code>a<sup>m</sup>b<sup>n</sup></code>, where m, n ≥ 0.</p>
<p>Example words: <code>[]</code>, <code>a</code>, <code>aab</code>, <code>abbb</code>, <code>bbb</code>.</p>
-<p>Hint: to generate words of increasing length, use the query <code>conc(Word,_,_), ab(Word,[])</code>.</p>'''
+<p>Hint: to generate words of increasing length, use the query <code>append(Word,_,_), ab(Word,[])</code>.</p>'''
hint = {}
diff --git a/prolog/problems/dcg/ab_2/sl.py b/prolog/problems/dcg/ab_2/sl.py
index fb0fe06..2b1bfa8 100644
--- a/prolog/problems/dcg/ab_2/sl.py
+++ b/prolog/problems/dcg/ab_2/sl.py
@@ -4,6 +4,6 @@ slug = 'a*b*'
description = '''\
<p>Napiši DCG gramatiko z začetnim simbolom <code>ab</code> za jezik <code>a<sup>m</sup>b<sup>n</sup></code>, kjer sta m, n ≥ 0.</p>
<p>Primeri veljavnih besed: <code>[]</code>, <code>a</code>, <code>aab</code>, <code>abbb</code>, <code>bbb</code>.</p>
-<p>Namig: za generiranje vedno daljših besed uporabi poizvedbo <code>conc(Word,_,_), ab(Word,[])</code>.</p>'''
+<p>Namig: za generiranje vedno daljših besed uporabi poizvedbo <code>append(Word,_,_), ab(Word,[])</code>.</p>'''
hint = {}