summaryrefslogtreecommitdiff
path: root/prolog/problems/denotational_semantics
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/denotational_semantics')
-rw-r--r--prolog/problems/denotational_semantics/algol_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_for_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_3/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/common.py2
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/common.py2
8 files changed, 9 insertions, 7 deletions
diff --git a/prolog/problems/denotational_semantics/algol_3/common.py b/prolog/problems/denotational_semantics/algol_3/common.py
index cce9b69..d7607c4 100644
--- a/prolog/problems/denotational_semantics/algol_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_3/common.py
@@ -2,7 +2,7 @@
id = 176
number = 83
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/algol_for_3/common.py b/prolog/problems/denotational_semantics/algol_for_3/common.py
index 4cf9373..3261c99 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/common.py
@@ -2,7 +2,7 @@
id = 178
number = 85
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/algol_if_3/common.py b/prolog/problems/denotational_semantics/algol_if_3/common.py
index 0c52886..faf0e4c 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/common.py
@@ -2,7 +2,7 @@
id = 177
number = 84
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py
index e2c420e..57be52d 100644
--- a/prolog/problems/denotational_semantics/common.py
+++ b/prolog/problems/denotational_semantics/common.py
@@ -1,2 +1,4 @@
id = 11
number = 10
+
+allowed_groups = ['lists']
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index d994039..c6d4db0 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -2,7 +2,7 @@
id = 172
number = 81
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
index 15dce6b..494f628 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
@@ -2,7 +2,7 @@
id = 173
number = 82
-visible = True
+visible = False
facts = 'denotational_semantics_aux__predicates'
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
index 1f8b655..020b31c 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
@@ -2,7 +2,7 @@
id = 175
number = 79
-visible = True
+visible = False
facts = None
solution = '''\
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/common.py b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
index a40be29..6f96f85 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
@@ -2,7 +2,7 @@
id = 174
number = 80
-visible = True
+visible = False
facts = 'denotational_semantics_aux__predicates'
solution = '''\