diff options
Diffstat (limited to 'prolog')
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 |