summaryrefslogtreecommitdiff
path: root/prolog/problems
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/family_relations/brother_2/common.py2
-rw-r--r--prolog/problems/family_relations/father_2/common.py2
-rw-r--r--prolog/problems/family_relations/mother_2/common.py2
-rw-r--r--prolog/problems/family_relations/sister_2/common.py2
4 files changed, 4 insertions, 4 deletions
diff --git a/prolog/problems/family_relations/brother_2/common.py b/prolog/problems/family_relations/brother_2/common.py
index f2bfa15..4c8a4f3 100644
--- a/prolog/problems/family_relations/brother_2/common.py
+++ b/prolog/problems/family_relations/brother_2/common.py
@@ -20,7 +20,7 @@ brother(X, Y) :-
X \== Y.
'''
-hint_defs = {
+hint_typs = {
'general_hint': HintSequence('general_hint', 3),
'x_must_be_male': Hint('x_must_be_male'),
'common_parent_needed': Hint('common_parent_needed'),
diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py
index 81191d3..ba6a166 100644
--- a/prolog/problems/family_relations/father_2/common.py
+++ b/prolog/problems/family_relations/father_2/common.py
@@ -18,7 +18,7 @@ father(X, Y) :-
male(X).
'''
-hint_defs = {
+hint_type = {
'general_hint': HintSequence('general_hint', 3),
'or_instead_of_and': Hint('or_instead_of_and'),
'x_must_be_male': Hint('x_must_be_male'),
diff --git a/prolog/problems/family_relations/mother_2/common.py b/prolog/problems/family_relations/mother_2/common.py
index 09a641a..42ca248 100644
--- a/prolog/problems/family_relations/mother_2/common.py
+++ b/prolog/problems/family_relations/mother_2/common.py
@@ -18,7 +18,7 @@ mother(X, Y) :-
female(X).
'''
-hint_defs = {
+hint_type = {
'general_hint': HintSequence('general_hint', 3),
'or_instead_of_and': Hint('or_instead_of_and'),
'x_must_be_female': Hint('x_must_be_female'),
diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py
index 46d54f3..0dfdc64 100644
--- a/prolog/problems/family_relations/sister_2/common.py
+++ b/prolog/problems/family_relations/sister_2/common.py
@@ -20,7 +20,7 @@ sister(X, Y) :-
X \== Y.
'''
-hint_defs = {
+hint_type = {
'general_hint': HintSequence('general_hint', 3),
'x_must_be_female': Hint('x_must_be_female'),
'common_parent_needed': Hint('common_parent_needed'),