From dd034da55f414d7ddcdc5de968b616ce51b1514e Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sun, 15 May 2016 18:12:02 +0200
Subject: Prolog: show DCG problems

---
 prolog/problems/dcg/ab_2/common.py            | 4 ++--
 prolog/problems/dcg/ab_2/en.py                | 2 +-
 prolog/problems/dcg/ab_2/sl.py                | 2 +-
 prolog/problems/dcg/digit_2/common.py         | 4 ++--
 prolog/problems/dcg/expr_2/common.py          | 4 ++--
 prolog/problems/dcg/expr_3/common.py          | 4 ++--
 prolog/problems/dcg/flower_2/common.py        | 4 ++--
 prolog/problems/dcg/number_2/common.py        | 4 ++--
 prolog/problems/dcg/number_3/common.py        | 4 ++--
 prolog/problems/dcg/number_proper_2/common.py | 4 ++--
 prolog/problems/dcg/paren_2/common.py         | 4 ++--
 prolog/problems/dcg/paren_3/common.py         | 4 ++--
 12 files changed, 22 insertions(+), 22 deletions(-)

(limited to 'prolog/problems')

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 = '''\
-- 
cgit v1.2.1