summaryrefslogtreecommitdiff
path: root/prolog
diff options
context:
space:
mode:
Diffstat (limited to 'prolog')
-rw-r--r--prolog/problems/clp_fd/gcd_3/common.py1
-rw-r--r--prolog/problems/clp_fd/magic_1/common.py1
-rw-r--r--prolog/problems/clp_fd/puzzle_abc_3/common.py1
-rw-r--r--prolog/problems/clp_fd/puzzle_beth_1/common.py1
-rw-r--r--prolog/problems/clp_fd/puzzle_momson_2/common.py1
-rw-r--r--prolog/problems/clp_fd/puzzle_ratio_2/common.py1
-rw-r--r--prolog/problems/clp_fd/tobase_3/common.py1
-rw-r--r--prolog/problems/clp_r/bounding_box_3/common.py1
-rw-r--r--prolog/problems/clp_r/center_3/common.py1
-rw-r--r--prolog/problems/clp_r/linear_opt_3/common.py1
-rw-r--r--prolog/problems/clp_r/max_sum_2/common.py1
-rw-r--r--prolog/problems/clp_r/megabytes_2/common.py1
-rw-r--r--prolog/problems/clp_r/turkey_3/common.py1
-rw-r--r--prolog/problems/dcg/ab_2/common.py1
-rw-r--r--prolog/problems/dcg/digit_2/common.py1
-rw-r--r--prolog/problems/dcg/expr_2/common.py1
-rw-r--r--prolog/problems/dcg/expr_3/common.py1
-rw-r--r--prolog/problems/dcg/flower_2/common.py1
-rw-r--r--prolog/problems/dcg/number_2/common.py1
-rw-r--r--prolog/problems/dcg/number_3/common.py1
-rw-r--r--prolog/problems/dcg/number_proper_2/common.py1
-rw-r--r--prolog/problems/dcg/paren_2/common.py1
-rw-r--r--prolog/problems/dcg/paren_3/common.py1
-rw-r--r--prolog/problems/denotational_semantics/algol_3/common.py1
-rw-r--r--prolog/problems/denotational_semantics/algol_for_3/common.py1
-rw-r--r--prolog/problems/denotational_semantics/algol_if_3/common.py1
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_2/common.py1
-rw-r--r--prolog/problems/denotational_semantics/prog_8puzzle_3/common.py1
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_2/common.py1
-rw-r--r--prolog/problems/denotational_semantics/prog_listswap_3/common.py1
-rw-r--r--prolog/problems/family_relations/ancestor_2/common.py1
-rw-r--r--prolog/problems/family_relations/aunt_2/common.py1
-rw-r--r--prolog/problems/family_relations/brother_2/common.py1
-rw-r--r--prolog/problems/family_relations/connected_3/common.py1
-rw-r--r--prolog/problems/family_relations/cousin_2/common.py1
-rw-r--r--prolog/problems/family_relations/descendant_2/common.py1
-rw-r--r--prolog/problems/family_relations/father_2/common.py1
-rw-r--r--prolog/problems/family_relations/grandparent_2/common.py1
-rw-r--r--prolog/problems/family_relations/mother_2/common.py1
-rw-r--r--prolog/problems/family_relations/sister_2/common.py1
-rw-r--r--prolog/problems/license_plates/checklicenseplate_3/common.py1
-rw-r--r--prolog/problems/license_plates/firstminus_2/common.py1
-rw-r--r--prolog/problems/license_plates/genexp_2/common.py1
-rw-r--r--prolog/problems/license_plates/getdigits_2/common.py1
-rw-r--r--prolog/problems/license_plates/joindigits_2/common.py1
-rw-r--r--prolog/problems/lists/conc_3/common.py1
-rw-r--r--prolog/problems/lists/count_3/common.py1
-rw-r--r--prolog/problems/lists/del_3/common.py1
-rw-r--r--prolog/problems/lists/divide_3/common.py1
-rw-r--r--prolog/problems/lists/dup_2/common.py1
-rw-r--r--prolog/problems/lists/evenlen_1_+_oddlen_1/common.py1
-rw-r--r--prolog/problems/lists/insert_3/common.py1
-rw-r--r--prolog/problems/lists/len_2/common.py1
-rw-r--r--prolog/problems/lists/max_2/common.py1
-rw-r--r--prolog/problems/lists/memb_2/common.py1
-rw-r--r--prolog/problems/lists/min_2/common.py1
-rw-r--r--prolog/problems/lists/palindrome_1/common.py1
-rw-r--r--prolog/problems/lists/permute_2/common.py1
-rw-r--r--prolog/problems/lists/rev_2/common.py1
-rw-r--r--prolog/problems/lists/shiftleft_2/common.py1
-rw-r--r--prolog/problems/lists/shiftright_2/common.py1
-rw-r--r--prolog/problems/lists/sublist_2/common.py1
-rw-r--r--prolog/problems/lists/sum_2/common.py1
-rw-r--r--prolog/problems/old_exams/pascal_3/common.py1
-rw-r--r--prolog/problems/other/genlist_4/common.py1
-rw-r--r--prolog/problems/sets/diff_3/common.py1
-rw-r--r--prolog/problems/sets/intersect_3/common.py1
-rw-r--r--prolog/problems/sets/is_subset_2/common.py1
-rw-r--r--prolog/problems/sets/is_superset_2/common.py1
-rw-r--r--prolog/problems/sets/powerset_2/common.py1
-rw-r--r--prolog/problems/sets/subset_2/common.py1
-rw-r--r--prolog/problems/sets/union_3/common.py1
-rw-r--r--prolog/problems/sorting/is_sorted_1/common.py1
-rw-r--r--prolog/problems/sorting/isort_2/common.py1
-rw-r--r--prolog/problems/sorting/pivoting_4/common.py1
-rw-r--r--prolog/problems/sorting/quick_sort_2/common.py1
-rw-r--r--prolog/problems/sorting/sins_3/common.py1
-rw-r--r--prolog/problems/sorting/slowest_sort_ever_2/common.py1
-rw-r--r--prolog/problems/trees/deletebt_3/common.py1
-rw-r--r--prolog/problems/trees/depthbt_2/common.py1
-rw-r--r--prolog/problems/trees/insertbt_3/common.py1
-rw-r--r--prolog/problems/trees/maxt_2/common.py1
-rw-r--r--prolog/problems/trees/memberbt_2/common.py1
-rw-r--r--prolog/problems/trees/membert_2/common.py1
-rw-r--r--prolog/problems/trees/mirrorbt_2/common.py1
-rw-r--r--prolog/problems/trees/numberbt_2/common.py1
-rw-r--r--prolog/problems/trees/tolistbt_2/common.py1
87 files changed, 0 insertions, 87 deletions
diff --git a/prolog/problems/clp_fd/gcd_3/common.py b/prolog/problems/clp_fd/gcd_3/common.py
index a24926f..7cd6623 100644
--- a/prolog/problems/clp_fd/gcd_3/common.py
+++ b/prolog/problems/clp_fd/gcd_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 149
-group = 'clp_fd'
number = 61
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/magic_1/common.py b/prolog/problems/clp_fd/magic_1/common.py
index 93286e7..17a9199 100644
--- a/prolog/problems/clp_fd/magic_1/common.py
+++ b/prolog/problems/clp_fd/magic_1/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 151
-group = 'clp_fd'
number = 60
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/puzzle_abc_3/common.py b/prolog/problems/clp_fd/puzzle_abc_3/common.py
index 42463a6..1563e1f 100644
--- a/prolog/problems/clp_fd/puzzle_abc_3/common.py
+++ b/prolog/problems/clp_fd/puzzle_abc_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 153
-group = 'clp_fd'
number = 57
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/puzzle_beth_1/common.py b/prolog/problems/clp_fd/puzzle_beth_1/common.py
index 3321d52..bf81396 100644
--- a/prolog/problems/clp_fd/puzzle_beth_1/common.py
+++ b/prolog/problems/clp_fd/puzzle_beth_1/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 155
-group = 'clp_fd'
number = 56
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/puzzle_momson_2/common.py b/prolog/problems/clp_fd/puzzle_momson_2/common.py
index 94e5aa2..9cef246 100644
--- a/prolog/problems/clp_fd/puzzle_momson_2/common.py
+++ b/prolog/problems/clp_fd/puzzle_momson_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 152
-group = 'clp_fd'
number = 58
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/puzzle_ratio_2/common.py b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
index baf7c02..73b9234 100644
--- a/prolog/problems/clp_fd/puzzle_ratio_2/common.py
+++ b/prolog/problems/clp_fd/puzzle_ratio_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 154
-group = 'clp_fd'
number = 59
visible = True
facts = None
diff --git a/prolog/problems/clp_fd/tobase_3/common.py b/prolog/problems/clp_fd/tobase_3/common.py
index 3a29dbe..5d160d7 100644
--- a/prolog/problems/clp_fd/tobase_3/common.py
+++ b/prolog/problems/clp_fd/tobase_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 150
-group = 'clp_fd'
number = 62
visible = True
facts = None
diff --git a/prolog/problems/clp_r/bounding_box_3/common.py b/prolog/problems/clp_r/bounding_box_3/common.py
index dc6b047..94be5ee 100644
--- a/prolog/problems/clp_r/bounding_box_3/common.py
+++ b/prolog/problems/clp_r/bounding_box_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 157
-group = 'clp_r'
number = 67
visible = True
facts = None
diff --git a/prolog/problems/clp_r/center_3/common.py b/prolog/problems/clp_r/center_3/common.py
index 340cd7f..5391180 100644
--- a/prolog/problems/clp_r/center_3/common.py
+++ b/prolog/problems/clp_r/center_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 158
-group = 'clp_r'
number = 68
visible = True
facts = None
diff --git a/prolog/problems/clp_r/linear_opt_3/common.py b/prolog/problems/clp_r/linear_opt_3/common.py
index 35f582d..f6e8840 100644
--- a/prolog/problems/clp_r/linear_opt_3/common.py
+++ b/prolog/problems/clp_r/linear_opt_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 159
-group = 'clp_r'
number = 63
visible = True
facts = None
diff --git a/prolog/problems/clp_r/max_sum_2/common.py b/prolog/problems/clp_r/max_sum_2/common.py
index 71c3005..d025090 100644
--- a/prolog/problems/clp_r/max_sum_2/common.py
+++ b/prolog/problems/clp_r/max_sum_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 156
-group = 'clp_r'
number = 66
visible = True
facts = None
diff --git a/prolog/problems/clp_r/megabytes_2/common.py b/prolog/problems/clp_r/megabytes_2/common.py
index aefab2d..1f5bdd5 100644
--- a/prolog/problems/clp_r/megabytes_2/common.py
+++ b/prolog/problems/clp_r/megabytes_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 160
-group = 'clp_r'
number = 65
visible = True
facts = None
diff --git a/prolog/problems/clp_r/turkey_3/common.py b/prolog/problems/clp_r/turkey_3/common.py
index 42f4119..b7bc7f4 100644
--- a/prolog/problems/clp_r/turkey_3/common.py
+++ b/prolog/problems/clp_r/turkey_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 161
-group = 'clp_r'
number = 64
visible = True
facts = None
diff --git a/prolog/problems/dcg/ab_2/common.py b/prolog/problems/dcg/ab_2/common.py
index f473a0b..b9109fc 100644
--- a/prolog/problems/dcg/ab_2/common.py
+++ b/prolog/problems/dcg/ab_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 162
-group = 'dcg'
number = 69
visible = True
facts = None
diff --git a/prolog/problems/dcg/digit_2/common.py b/prolog/problems/dcg/digit_2/common.py
index 5b31e04..571df40 100644
--- a/prolog/problems/dcg/digit_2/common.py
+++ b/prolog/problems/dcg/digit_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 164
-group = 'dcg'
number = 71
visible = True
facts = None
diff --git a/prolog/problems/dcg/expr_2/common.py b/prolog/problems/dcg/expr_2/common.py
index f5c4aa0..2420ebe 100644
--- a/prolog/problems/dcg/expr_2/common.py
+++ b/prolog/problems/dcg/expr_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 170
-group = 'dcg'
number = 77
visible = False
facts = None
diff --git a/prolog/problems/dcg/expr_3/common.py b/prolog/problems/dcg/expr_3/common.py
index 651a1b9..10220a8 100644
--- a/prolog/problems/dcg/expr_3/common.py
+++ b/prolog/problems/dcg/expr_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 171
-group = 'dcg'
number = 78
visible = False
facts = None
diff --git a/prolog/problems/dcg/flower_2/common.py b/prolog/problems/dcg/flower_2/common.py
index 5865da9..e28d10d 100644
--- a/prolog/problems/dcg/flower_2/common.py
+++ b/prolog/problems/dcg/flower_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 163
-group = 'dcg'
number = 70
visible = True
facts = None
diff --git a/prolog/problems/dcg/number_2/common.py b/prolog/problems/dcg/number_2/common.py
index 6d33e12..a05ca18 100644
--- a/prolog/problems/dcg/number_2/common.py
+++ b/prolog/problems/dcg/number_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 165
-group = 'dcg'
number = 72
visible = True
facts = None
diff --git a/prolog/problems/dcg/number_3/common.py b/prolog/problems/dcg/number_3/common.py
index 0e6f2b0..2977392 100644
--- a/prolog/problems/dcg/number_3/common.py
+++ b/prolog/problems/dcg/number_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 167
-group = 'dcg'
number = 74
visible = True
facts = None
diff --git a/prolog/problems/dcg/number_proper_2/common.py b/prolog/problems/dcg/number_proper_2/common.py
index c6b535b..a3e3592 100644
--- a/prolog/problems/dcg/number_proper_2/common.py
+++ b/prolog/problems/dcg/number_proper_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 166
-group = 'dcg'
number = 73
visible = True
facts = None
diff --git a/prolog/problems/dcg/paren_2/common.py b/prolog/problems/dcg/paren_2/common.py
index d5969a2..1d8f653 100644
--- a/prolog/problems/dcg/paren_2/common.py
+++ b/prolog/problems/dcg/paren_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 168
-group = 'dcg'
number = 75
visible = True
facts = None
diff --git a/prolog/problems/dcg/paren_3/common.py b/prolog/problems/dcg/paren_3/common.py
index 4cda182..a905149 100644
--- a/prolog/problems/dcg/paren_3/common.py
+++ b/prolog/problems/dcg/paren_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 169
-group = 'dcg'
number = 76
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/algol_3/common.py b/prolog/problems/denotational_semantics/algol_3/common.py
index 1f5b196..cce9b69 100644
--- a/prolog/problems/denotational_semantics/algol_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 176
-group = 'denotational_semantics'
number = 83
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/algol_for_3/common.py b/prolog/problems/denotational_semantics/algol_for_3/common.py
index bc0c3e8..4cf9373 100644
--- a/prolog/problems/denotational_semantics/algol_for_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_for_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 178
-group = 'denotational_semantics'
number = 85
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/algol_if_3/common.py b/prolog/problems/denotational_semantics/algol_if_3/common.py
index fd750e0..0c52886 100644
--- a/prolog/problems/denotational_semantics/algol_if_3/common.py
+++ b/prolog/problems/denotational_semantics/algol_if_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 177
-group = 'denotational_semantics'
number = 84
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
index e48d03f..d994039 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 172
-group = 'denotational_semantics'
number = 81
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
index f86a0c4..15dce6b 100644
--- a/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_8puzzle_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 173
-group = 'denotational_semantics'
number = 82
visible = True
facts = 'denotational_semantics_aux__predicates'
diff --git a/prolog/problems/denotational_semantics/prog_listswap_2/common.py b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
index 9a7c586..1f8b655 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_2/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 175
-group = 'denotational_semantics'
number = 79
visible = True
facts = None
diff --git a/prolog/problems/denotational_semantics/prog_listswap_3/common.py b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
index 2b32618..a40be29 100644
--- a/prolog/problems/denotational_semantics/prog_listswap_3/common.py
+++ b/prolog/problems/denotational_semantics/prog_listswap_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 174
-group = 'denotational_semantics'
number = 80
visible = True
facts = 'denotational_semantics_aux__predicates'
diff --git a/prolog/problems/family_relations/ancestor_2/common.py b/prolog/problems/family_relations/ancestor_2/common.py
index 3226f34..7249ed8 100644
--- a/prolog/problems/family_relations/ancestor_2/common.py
+++ b/prolog/problems/family_relations/ancestor_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 100
-group = 'family_relations'
number = 7
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/aunt_2/common.py b/prolog/problems/family_relations/aunt_2/common.py
index 2aeba9d..51bc99a 100644
--- a/prolog/problems/family_relations/aunt_2/common.py
+++ b/prolog/problems/family_relations/aunt_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 98
-group = 'family_relations'
number = 5
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/brother_2/common.py b/prolog/problems/family_relations/brother_2/common.py
index 3fb685f..48b89fe 100644
--- a/prolog/problems/family_relations/brother_2/common.py
+++ b/prolog/problems/family_relations/brother_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 97
-group = 'family_relations'
number = 4
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/connected_3/common.py b/prolog/problems/family_relations/connected_3/common.py
index 1221713..9c0bef7 100644
--- a/prolog/problems/family_relations/connected_3/common.py
+++ b/prolog/problems/family_relations/connected_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 102
-group = 'family_relations'
number = 9
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/cousin_2/common.py b/prolog/problems/family_relations/cousin_2/common.py
index cd5cd38..8dc33b8 100644
--- a/prolog/problems/family_relations/cousin_2/common.py
+++ b/prolog/problems/family_relations/cousin_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 99
-group = 'family_relations'
number = 6
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/descendant_2/common.py b/prolog/problems/family_relations/descendant_2/common.py
index 21de450..cfa1d37 100644
--- a/prolog/problems/family_relations/descendant_2/common.py
+++ b/prolog/problems/family_relations/descendant_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 101
-group = 'family_relations'
number = 8
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py
index 50ac701..8eef44a 100644
--- a/prolog/problems/family_relations/father_2/common.py
+++ b/prolog/problems/family_relations/father_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 181
-group = 'family_relations'
number = 2
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/grandparent_2/common.py b/prolog/problems/family_relations/grandparent_2/common.py
index fec7734..ee7b25b 100644
--- a/prolog/problems/family_relations/grandparent_2/common.py
+++ b/prolog/problems/family_relations/grandparent_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence, HintPopup
import server.problems
id = 95
-group = 'family_relations'
number = 30
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/mother_2/common.py b/prolog/problems/family_relations/mother_2/common.py
index 18b3027..e3a883f 100644
--- a/prolog/problems/family_relations/mother_2/common.py
+++ b/prolog/problems/family_relations/mother_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 94
-group = 'family_relations'
number = 1
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py
index b2bf954..627648c 100644
--- a/prolog/problems/family_relations/sister_2/common.py
+++ b/prolog/problems/family_relations/sister_2/common.py
@@ -8,7 +8,6 @@ from server.hints import Hint, HintSequence
import server.problems
id = 96
-group = 'family_relations'
number = 3
visible = True
facts = 'family_relations'
diff --git a/prolog/problems/license_plates/checklicenseplate_3/common.py b/prolog/problems/license_plates/checklicenseplate_3/common.py
index 5dc1c3c..c37e210 100644
--- a/prolog/problems/license_plates/checklicenseplate_3/common.py
+++ b/prolog/problems/license_plates/checklicenseplate_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 148
-group = 'license_plates'
number = 55
visible = True
facts = None
diff --git a/prolog/problems/license_plates/firstminus_2/common.py b/prolog/problems/license_plates/firstminus_2/common.py
index ece4dd6..20376d2 100644
--- a/prolog/problems/license_plates/firstminus_2/common.py
+++ b/prolog/problems/license_plates/firstminus_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 147
-group = 'license_plates'
number = 54
visible = True
facts = None
diff --git a/prolog/problems/license_plates/genexp_2/common.py b/prolog/problems/license_plates/genexp_2/common.py
index 170722b..ecdc772 100644
--- a/prolog/problems/license_plates/genexp_2/common.py
+++ b/prolog/problems/license_plates/genexp_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 146
-group = 'license_plates'
number = 53
visible = True
facts = None
diff --git a/prolog/problems/license_plates/getdigits_2/common.py b/prolog/problems/license_plates/getdigits_2/common.py
index 20be22e..82fe033 100644
--- a/prolog/problems/license_plates/getdigits_2/common.py
+++ b/prolog/problems/license_plates/getdigits_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 144
-group = 'license_plates'
number = 51
visible = True
facts = None
diff --git a/prolog/problems/license_plates/joindigits_2/common.py b/prolog/problems/license_plates/joindigits_2/common.py
index b89559f..9ebc037 100644
--- a/prolog/problems/license_plates/joindigits_2/common.py
+++ b/prolog/problems/license_plates/joindigits_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 145
-group = 'license_plates'
number = 52
visible = True
facts = None
diff --git a/prolog/problems/lists/conc_3/common.py b/prolog/problems/lists/conc_3/common.py
index ef23d67..e83c454 100644
--- a/prolog/problems/lists/conc_3/common.py
+++ b/prolog/problems/lists/conc_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 104
-group = 'lists'
number = 12
visible = True
facts = None
diff --git a/prolog/problems/lists/count_3/common.py b/prolog/problems/lists/count_3/common.py
index bf6f688..8a85079 100644
--- a/prolog/problems/lists/count_3/common.py
+++ b/prolog/problems/lists/count_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 120
-group = 'lists'
number = 27
visible = True
facts = None
diff --git a/prolog/problems/lists/del_3/common.py b/prolog/problems/lists/del_3/common.py
index 81bbb75..755193c 100644
--- a/prolog/problems/lists/del_3/common.py
+++ b/prolog/problems/lists/del_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 105
-group = 'lists'
number = 11
visible = True
facts = None
diff --git a/prolog/problems/lists/divide_3/common.py b/prolog/problems/lists/divide_3/common.py
index 337f702..c5744cc 100644
--- a/prolog/problems/lists/divide_3/common.py
+++ b/prolog/problems/lists/divide_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 115
-group = 'lists'
number = 22
visible = True
facts = None
diff --git a/prolog/problems/lists/dup_2/common.py b/prolog/problems/lists/dup_2/common.py
index 7417006..e0a1001 100644
--- a/prolog/problems/lists/dup_2/common.py
+++ b/prolog/problems/lists/dup_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 110
-group = 'lists'
number = 17
visible = True
facts = None
diff --git a/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py b/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py
index aaca8ec..601cd33 100644
--- a/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py
+++ b/prolog/problems/lists/evenlen_1_+_oddlen_1/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 116
-group = 'lists'
number = 23
visible = True
facts = None
diff --git a/prolog/problems/lists/insert_3/common.py b/prolog/problems/lists/insert_3/common.py
index df4e16e..4892f4d 100644
--- a/prolog/problems/lists/insert_3/common.py
+++ b/prolog/problems/lists/insert_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 106
-group = 'lists'
number = 13
visible = True
facts = None
diff --git a/prolog/problems/lists/len_2/common.py b/prolog/problems/lists/len_2/common.py
index 33fc223..7dbdc62 100644
--- a/prolog/problems/lists/len_2/common.py
+++ b/prolog/problems/lists/len_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 119
-group = 'lists'
number = 26
visible = True
facts = None
diff --git a/prolog/problems/lists/max_2/common.py b/prolog/problems/lists/max_2/common.py
index 73c39a2..0e8f031 100644
--- a/prolog/problems/lists/max_2/common.py
+++ b/prolog/problems/lists/max_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 109
-group = 'lists'
number = 16
visible = True
facts = None
diff --git a/prolog/problems/lists/memb_2/common.py b/prolog/problems/lists/memb_2/common.py
index 9e8b58e..3acbc15 100644
--- a/prolog/problems/lists/memb_2/common.py
+++ b/prolog/problems/lists/memb_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 103
-group = 'lists'
number = 10
visible = True
facts = None
diff --git a/prolog/problems/lists/min_2/common.py b/prolog/problems/lists/min_2/common.py
index a5421d1..cc6ad9e 100644
--- a/prolog/problems/lists/min_2/common.py
+++ b/prolog/problems/lists/min_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 108
-group = 'lists'
number = 15
visible = True
facts = None
diff --git a/prolog/problems/lists/palindrome_1/common.py b/prolog/problems/lists/palindrome_1/common.py
index 31998e2..5df4b87 100644
--- a/prolog/problems/lists/palindrome_1/common.py
+++ b/prolog/problems/lists/palindrome_1/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 112
-group = 'lists'
number = 19
visible = True
facts = None
diff --git a/prolog/problems/lists/permute_2/common.py b/prolog/problems/lists/permute_2/common.py
index a1c66ff..2f37a3b 100644
--- a/prolog/problems/lists/permute_2/common.py
+++ b/prolog/problems/lists/permute_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 107
-group = 'lists'
number = 14
visible = True
facts = None
diff --git a/prolog/problems/lists/rev_2/common.py b/prolog/problems/lists/rev_2/common.py
index c31e25b..ba72492 100644
--- a/prolog/problems/lists/rev_2/common.py
+++ b/prolog/problems/lists/rev_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 111
-group = 'lists'
number = 18
visible = True
facts = None
diff --git a/prolog/problems/lists/shiftleft_2/common.py b/prolog/problems/lists/shiftleft_2/common.py
index f8e09f2..9a2fe0e 100644
--- a/prolog/problems/lists/shiftleft_2/common.py
+++ b/prolog/problems/lists/shiftleft_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 113
-group = 'lists'
number = 20
visible = True
facts = None
diff --git a/prolog/problems/lists/shiftright_2/common.py b/prolog/problems/lists/shiftright_2/common.py
index e443332..5358935 100644
--- a/prolog/problems/lists/shiftright_2/common.py
+++ b/prolog/problems/lists/shiftright_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 114
-group = 'lists'
number = 21
visible = True
facts = None
diff --git a/prolog/problems/lists/sublist_2/common.py b/prolog/problems/lists/sublist_2/common.py
index f9cef37..694bfcf 100644
--- a/prolog/problems/lists/sublist_2/common.py
+++ b/prolog/problems/lists/sublist_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 117
-group = 'lists'
number = 24
visible = True
facts = None
diff --git a/prolog/problems/lists/sum_2/common.py b/prolog/problems/lists/sum_2/common.py
index 106f310..9c17e9c 100644
--- a/prolog/problems/lists/sum_2/common.py
+++ b/prolog/problems/lists/sum_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 118
-group = 'lists'
number = 25
visible = True
facts = None
diff --git a/prolog/problems/old_exams/pascal_3/common.py b/prolog/problems/old_exams/pascal_3/common.py
index ebbc114..ddb3c6c 100644
--- a/prolog/problems/old_exams/pascal_3/common.py
+++ b/prolog/problems/old_exams/pascal_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 179
-group = 'old_exams'
number = 86
visible = False
facts = None
diff --git a/prolog/problems/other/genlist_4/common.py b/prolog/problems/other/genlist_4/common.py
index 83f4b0e..3d8f326 100644
--- a/prolog/problems/other/genlist_4/common.py
+++ b/prolog/problems/other/genlist_4/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 127
-group = 'other'
number = 34
visible = False
facts = None
diff --git a/prolog/problems/sets/diff_3/common.py b/prolog/problems/sets/diff_3/common.py
index 82a6fe9..fee93b2 100644
--- a/prolog/problems/sets/diff_3/common.py
+++ b/prolog/problems/sets/diff_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 130
-group = 'sets'
number = 37
visible = True
facts = None
diff --git a/prolog/problems/sets/intersect_3/common.py b/prolog/problems/sets/intersect_3/common.py
index b2250e6..501cdf3 100644
--- a/prolog/problems/sets/intersect_3/common.py
+++ b/prolog/problems/sets/intersect_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 129
-group = 'sets'
number = 36
visible = True
facts = None
diff --git a/prolog/problems/sets/is_subset_2/common.py b/prolog/problems/sets/is_subset_2/common.py
index 330ca21..4047146 100644
--- a/prolog/problems/sets/is_subset_2/common.py
+++ b/prolog/problems/sets/is_subset_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 132
-group = 'sets'
number = 39
visible = True
facts = None
diff --git a/prolog/problems/sets/is_superset_2/common.py b/prolog/problems/sets/is_superset_2/common.py
index 356ca34..86e5dc7 100644
--- a/prolog/problems/sets/is_superset_2/common.py
+++ b/prolog/problems/sets/is_superset_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 131
-group = 'sets'
number = 38
visible = True
facts = None
diff --git a/prolog/problems/sets/powerset_2/common.py b/prolog/problems/sets/powerset_2/common.py
index 1561eed..c825430 100644
--- a/prolog/problems/sets/powerset_2/common.py
+++ b/prolog/problems/sets/powerset_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 134
-group = 'sets'
number = 41
visible = True
facts = None
diff --git a/prolog/problems/sets/subset_2/common.py b/prolog/problems/sets/subset_2/common.py
index 4cc2260..130d87b 100644
--- a/prolog/problems/sets/subset_2/common.py
+++ b/prolog/problems/sets/subset_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 133
-group = 'sets'
number = 40
visible = True
facts = None
diff --git a/prolog/problems/sets/union_3/common.py b/prolog/problems/sets/union_3/common.py
index bd77d3a..2a14245 100644
--- a/prolog/problems/sets/union_3/common.py
+++ b/prolog/problems/sets/union_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 128
-group = 'sets'
number = 35
visible = True
facts = None
diff --git a/prolog/problems/sorting/is_sorted_1/common.py b/prolog/problems/sorting/is_sorted_1/common.py
index 4bb3fa9..8feb549 100644
--- a/prolog/problems/sorting/is_sorted_1/common.py
+++ b/prolog/problems/sorting/is_sorted_1/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 121
-group = 'sorting'
number = 28
visible = True
facts = None
diff --git a/prolog/problems/sorting/isort_2/common.py b/prolog/problems/sorting/isort_2/common.py
index 94f5f42..f2c4244 100644
--- a/prolog/problems/sorting/isort_2/common.py
+++ b/prolog/problems/sorting/isort_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 123
-group = 'sorting'
number = 30
visible = True
facts = None
diff --git a/prolog/problems/sorting/pivoting_4/common.py b/prolog/problems/sorting/pivoting_4/common.py
index a8ff2f4..dd1a1a9 100644
--- a/prolog/problems/sorting/pivoting_4/common.py
+++ b/prolog/problems/sorting/pivoting_4/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 124
-group = 'sorting'
number = 31
visible = True
facts = None
diff --git a/prolog/problems/sorting/quick_sort_2/common.py b/prolog/problems/sorting/quick_sort_2/common.py
index 9c2b261..4afc8fa 100644
--- a/prolog/problems/sorting/quick_sort_2/common.py
+++ b/prolog/problems/sorting/quick_sort_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 125
-group = 'sorting'
number = 32
visible = True
facts = None
diff --git a/prolog/problems/sorting/sins_3/common.py b/prolog/problems/sorting/sins_3/common.py
index ba50e65..ab592ea 100644
--- a/prolog/problems/sorting/sins_3/common.py
+++ b/prolog/problems/sorting/sins_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 122
-group = 'sorting'
number = 29
visible = True
facts = None
diff --git a/prolog/problems/sorting/slowest_sort_ever_2/common.py b/prolog/problems/sorting/slowest_sort_ever_2/common.py
index 267f06a..fc8f980 100644
--- a/prolog/problems/sorting/slowest_sort_ever_2/common.py
+++ b/prolog/problems/sorting/slowest_sort_ever_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 126
-group = 'sorting'
number = 33
visible = True
facts = None
diff --git a/prolog/problems/trees/deletebt_3/common.py b/prolog/problems/trees/deletebt_3/common.py
index 0963d15..98ad95f 100644
--- a/prolog/problems/trees/deletebt_3/common.py
+++ b/prolog/problems/trees/deletebt_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 137
-group = 'trees'
number = 47
visible = True
facts = None
diff --git a/prolog/problems/trees/depthbt_2/common.py b/prolog/problems/trees/depthbt_2/common.py
index d8b255d..85dfa27 100644
--- a/prolog/problems/trees/depthbt_2/common.py
+++ b/prolog/problems/trees/depthbt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 140
-group = 'trees'
number = 45
visible = True
facts = None
diff --git a/prolog/problems/trees/insertbt_3/common.py b/prolog/problems/trees/insertbt_3/common.py
index 1653183..f8ef004 100644
--- a/prolog/problems/trees/insertbt_3/common.py
+++ b/prolog/problems/trees/insertbt_3/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 138
-group = 'trees'
number = 48
visible = True
facts = None
diff --git a/prolog/problems/trees/maxt_2/common.py b/prolog/problems/trees/maxt_2/common.py
index 264f5e2..280cb25 100644
--- a/prolog/problems/trees/maxt_2/common.py
+++ b/prolog/problems/trees/maxt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 143
-group = 'trees'
number = 50
visible = True
facts = None
diff --git a/prolog/problems/trees/memberbt_2/common.py b/prolog/problems/trees/memberbt_2/common.py
index e983b76..f5e5435 100644
--- a/prolog/problems/trees/memberbt_2/common.py
+++ b/prolog/problems/trees/memberbt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 135
-group = 'trees'
number = 42
visible = True
facts = None
diff --git a/prolog/problems/trees/membert_2/common.py b/prolog/problems/trees/membert_2/common.py
index 33a966d..c91371e 100644
--- a/prolog/problems/trees/membert_2/common.py
+++ b/prolog/problems/trees/membert_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 142
-group = 'trees'
number = 49
visible = True
facts = None
diff --git a/prolog/problems/trees/mirrorbt_2/common.py b/prolog/problems/trees/mirrorbt_2/common.py
index c10f433..cc271cc 100644
--- a/prolog/problems/trees/mirrorbt_2/common.py
+++ b/prolog/problems/trees/mirrorbt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 136
-group = 'trees'
number = 43
visible = True
facts = None
diff --git a/prolog/problems/trees/numberbt_2/common.py b/prolog/problems/trees/numberbt_2/common.py
index a7499c2..7df71d8 100644
--- a/prolog/problems/trees/numberbt_2/common.py
+++ b/prolog/problems/trees/numberbt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 139
-group = 'trees'
number = 44
visible = True
facts = None
diff --git a/prolog/problems/trees/tolistbt_2/common.py b/prolog/problems/trees/tolistbt_2/common.py
index c9765df..e6c8ffd 100644
--- a/prolog/problems/trees/tolistbt_2/common.py
+++ b/prolog/problems/trees/tolistbt_2/common.py
@@ -1,7 +1,6 @@
# coding=utf-8
id = 141
-group = 'trees'
number = 46
visible = True
facts = None