diff options
Diffstat (limited to 'prolog/problems')
-rw-r--r-- | prolog/problems/dcg/ab_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/ab_2/en.py | 2 | ||||
-rw-r--r-- | prolog/problems/dcg/ab_2/sl.py | 2 | ||||
-rw-r--r-- | prolog/problems/dcg/digit_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/expr_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/expr_3/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/flower_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/number_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/number_3/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/number_proper_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/paren_2/common.py | 4 | ||||
-rw-r--r-- | prolog/problems/dcg/paren_3/common.py | 4 |
12 files changed, 22 insertions, 22 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 = {} diff --git a/prolog/problems/dcg/digit_2/common.py b/prolog/problems/dcg/digit_2/common.py index 4e8c669..5b4fcec 100644 --- a/prolog/problems/dcg/digit_2/common.py +++ b/prolog/problems/dcg/digit_2/common.py @@ -1,6 +1,6 @@ id = 164 -number = 71 -visible = False +number = 30 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/expr_2/common.py b/prolog/problems/dcg/expr_2/common.py index 7f27665..c24bd4d 100644 --- a/prolog/problems/dcg/expr_2/common.py +++ b/prolog/problems/dcg/expr_2/common.py @@ -1,6 +1,6 @@ id = 170 -number = 77 -visible = False +number = 90 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/expr_3/common.py b/prolog/problems/dcg/expr_3/common.py index 9507e10..57f5d64 100644 --- a/prolog/problems/dcg/expr_3/common.py +++ b/prolog/problems/dcg/expr_3/common.py @@ -1,6 +1,6 @@ id = 171 -number = 78 -visible = False +number = 100 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/flower_2/common.py b/prolog/problems/dcg/flower_2/common.py index 535ee2b..0967068 100644 --- a/prolog/problems/dcg/flower_2/common.py +++ b/prolog/problems/dcg/flower_2/common.py @@ -1,6 +1,6 @@ id = 163 -number = 70 -visible = False +number = 20 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_2/common.py b/prolog/problems/dcg/number_2/common.py index 79158fb..04226b4 100644 --- a/prolog/problems/dcg/number_2/common.py +++ b/prolog/problems/dcg/number_2/common.py @@ -1,6 +1,6 @@ id = 165 -number = 72 -visible = False +number = 40 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_3/common.py b/prolog/problems/dcg/number_3/common.py index 253c59c..b4a9f58 100644 --- a/prolog/problems/dcg/number_3/common.py +++ b/prolog/problems/dcg/number_3/common.py @@ -1,6 +1,6 @@ id = 167 -number = 74 -visible = False +number = 60 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/number_proper_2/common.py b/prolog/problems/dcg/number_proper_2/common.py index 191b70b..3dc0dd5 100644 --- a/prolog/problems/dcg/number_proper_2/common.py +++ b/prolog/problems/dcg/number_proper_2/common.py @@ -1,6 +1,6 @@ id = 166 -number = 73 -visible = False +number = 50 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/paren_2/common.py b/prolog/problems/dcg/paren_2/common.py index 7334d80..8c040e7 100644 --- a/prolog/problems/dcg/paren_2/common.py +++ b/prolog/problems/dcg/paren_2/common.py @@ -1,6 +1,6 @@ id = 168 -number = 75 -visible = False +number = 70 +visible = True facts = None solution = '''\ diff --git a/prolog/problems/dcg/paren_3/common.py b/prolog/problems/dcg/paren_3/common.py index e130335..60c6353 100644 --- a/prolog/problems/dcg/paren_3/common.py +++ b/prolog/problems/dcg/paren_3/common.py @@ -1,6 +1,6 @@ id = 169 -number = 76 -visible = False +number = 80 +visible = True facts = None solution = '''\ |