summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/cousin_2/common.py
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-17 20:04:54 +0200
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2015-10-17 20:04:54 +0200
commit86bfc55d2ddc19b79127f2c788609635b702dbfd (patch)
treed3349850f62e56c1cc13a29cae9790b59c42cfa6 /prolog/problems/family_relations/cousin_2/common.py
parent531bde7a2fe3d643e9b6ffe690405b6cc07c4964 (diff)
Family relations section fully hint-ready (just a few minor things missing).
Diffstat (limited to 'prolog/problems/family_relations/cousin_2/common.py')
-rw-r--r--prolog/problems/family_relations/cousin_2/common.py24
1 files changed, 15 insertions, 9 deletions
diff --git a/prolog/problems/family_relations/cousin_2/common.py b/prolog/problems/family_relations/cousin_2/common.py
index 8dc33b8..c556ffd 100644
--- a/prolog/problems/family_relations/cousin_2/common.py
+++ b/prolog/problems/family_relations/cousin_2/common.py
@@ -4,7 +4,7 @@ from operator import itemgetter
import socket
import prolog.engine
import prolog.util
-from server.hints import Hint, HintSequence
+from server.hints import Hint, HintPopup
import server.problems
id = 99
@@ -34,6 +34,7 @@ cousin(X, Y) :-
'''
hint_type = {
+ 'gender_is_irrelevant_markup': HintPopup('gender_is_irrelevant_markup'),
'gender_is_irrelevant': Hint('gender_is_irrelevant'),
'precedence_fail': Hint('precedence_fail'),
'cousin_vs_sibling': Hint('cousin_vs_sibling'),
@@ -42,7 +43,12 @@ hint_type = {
}
test_cases = [
- # TODO
+ ('cousin(X, _)',
+ [{'X': 'vanessa'}, {'X': 'patricia'}, {'X': 'melanie'}, {'X': 'andrew'}, {'X': 'john'}, {'X': 'susan'}]),
+ ('cousin(X, john)',
+ [{'X': 'susan'}]),
+ ('cousin(patricia, X)',
+ [{'X': 'andrew'}, {'X': 'melanie'}]),
]
def test(program, solved_problems):
@@ -87,10 +93,10 @@ def hint(program, solved_problems):
# gender testing is redundant
# this is not necessarily wrong, but worth mentioning anyway
targets = [prolog.util.Token('NAME', 'male'), prolog.util.Token('NAME', 'female')]
- pos = [(t.pos, t.pos + len(t.val)) for t in tokens if t in targets]
- if pos:
- # TODO: resolve how highlighting info is communicated
- return [{'id': 'gender_is_irrelevant', 'highlight': pos}]
+ marks = [(t.pos, t.pos + len(t.val)) for t in tokens if t in targets]
+ if marks:
+ return [{'id': 'gender_is_irrelevant_markup', 'start': m[0], 'end': m[1]} for m in marks] + \
+ [{'id': 'gender_is_irrelevant'}]
# precedence fail (AND block vs OR block)
# case in point: parent(PX, X), parent(PY, Y), brother(PX, PY) ; sister(PX, PY)
@@ -98,18 +104,18 @@ def hint(program, solved_problems):
# warning: knowledge base dependent
if prolog.util.Token('SEMI', ';') in tokens and prolog.engine.ask_truth(engine_id,
'findall(_, cousin(X, Y), L), (length(L, 14) ; length(L, 16))'):
- return [{'id', 'precedence_fail'}]
+ return [{'id': 'precedence_fail'}]
# cousin should not be brother or sister
# common parent, probably solved via grandparent
if prolog.engine.ask_truth(engine_id,
'cousin(X, Y), (brother(X, Y) ; sister(X, Y))'):
- return [{'id', 'cousin_vs_sibling'}]
+ return [{'id': 'cousin_vs_sibling'}]
# cousin to him/herself
# just common grandparent is not enough
if prolog.engine.ask_truth(engine_id, 'cousin(X, X)'):
- return [{'id', 'cousin_to_oneself'}]
+ return [{'id': 'cousin_to_oneself'}]
# X (or Y) does not necessarily need to be a parent