Hide Prolog.{denotational_semantics,trees} problems

16 files changed, 16 insertions, 16 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/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 = '''\
diff --git a/prolog/problems/trees/deletebt_3/common.py b/prolog/problems/trees/deletebt_3/common.py
index 98ad95f..52f9e3f 100644
--- a/prolog/problems/trees/deletebt_3/common.py
+++ b/prolog/problems/trees/deletebt_3/common.py
@@ -2,7 +2,7 @@
 
 id = 137
 number = 47
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/depthbt_2/common.py b/prolog/problems/trees/depthbt_2/common.py
index 85dfa27..4542419 100644
--- a/prolog/problems/trees/depthbt_2/common.py
+++ b/prolog/problems/trees/depthbt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 140
 number = 45
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/insertbt_3/common.py b/prolog/problems/trees/insertbt_3/common.py
index f8ef004..eb1ea94 100644
--- a/prolog/problems/trees/insertbt_3/common.py
+++ b/prolog/problems/trees/insertbt_3/common.py
@@ -2,7 +2,7 @@
 
 id = 138
 number = 48
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/maxt_2/common.py b/prolog/problems/trees/maxt_2/common.py
index 280cb25..b1cdb39 100644
--- a/prolog/problems/trees/maxt_2/common.py
+++ b/prolog/problems/trees/maxt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 143
 number = 50
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/memberbt_2/common.py b/prolog/problems/trees/memberbt_2/common.py
index f5e5435..6df89e3 100644
--- a/prolog/problems/trees/memberbt_2/common.py
+++ b/prolog/problems/trees/memberbt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 135
 number = 42
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/membert_2/common.py b/prolog/problems/trees/membert_2/common.py
index c91371e..7d8f207 100644
--- a/prolog/problems/trees/membert_2/common.py
+++ b/prolog/problems/trees/membert_2/common.py
@@ -2,7 +2,7 @@
 
 id = 142
 number = 49
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/mirrorbt_2/common.py b/prolog/problems/trees/mirrorbt_2/common.py
index cc271cc..1ee0a9c 100644
--- a/prolog/problems/trees/mirrorbt_2/common.py
+++ b/prolog/problems/trees/mirrorbt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 136
 number = 43
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/numberbt_2/common.py b/prolog/problems/trees/numberbt_2/common.py
index 7df71d8..e75075e 100644
--- a/prolog/problems/trees/numberbt_2/common.py
+++ b/prolog/problems/trees/numberbt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 139
 number = 44
-visible = True
+visible = False
 facts = None
 
 solution = '''\
diff --git a/prolog/problems/trees/tolistbt_2/common.py b/prolog/problems/trees/tolistbt_2/common.py
index e6c8ffd..3c14c4e 100644
--- a/prolog/problems/trees/tolistbt_2/common.py
+++ b/prolog/problems/trees/tolistbt_2/common.py
@@ -2,7 +2,7 @@
 
 id = 141
 number = 46
-visible = True
+visible = False
 facts = None
 
 solution = '''\