summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/sister_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:36:37 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:36:37 +0100
commit5902e5a5c40ec8fa32c7af8d4bcc57134a0bea66 (patch)
tree53b9aee47bbee39682a9c1a6c1ab0ef248a78389 /prolog/problems/family_relations/sister_2
parentd6b6ab704d4552db052099fa2a7c9b7e9ff6a297 (diff)
Simplify Prolog hint functions
Diffstat (limited to 'prolog/problems/family_relations/sister_2')
-rw-r--r--prolog/problems/family_relations/sister_2/common.py10
1 files changed, 3 insertions, 7 deletions
diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py
index 90039e3..a6dff43 100644
--- a/prolog/problems/family_relations/sister_2/common.py
+++ b/prolog/problems/family_relations/sister_2/common.py
@@ -57,7 +57,7 @@ def test(code, aux_code):
hints = [{'id': 'test_results', 'args': {'passed': n_correct, 'total': len(test_cases)}}]
return passed, hints
-def hint(program, solved_problems):
+def hint(code, aux_code):
# how do I know which general hints were already shown?
# how do I know enough time has elapsed for general hints to be shown?
# how do I know whether the hint button was pressed?
@@ -83,14 +83,10 @@ def hint(program, solved_problems):
# tokenize (and similar) only if *needed* for a given exercise
# to reduce server processor load
- tokens = prolog.util.tokenize(program)
-
- code = (program + '\n' +
- server.problems.solutions_for_problems('prolog', solved_problems) + '\n' +
- server.problems.load_facts('prolog', facts).facts)
+ tokens = prolog.util.tokenize(code)
try:
- engine_id, output = prolog.engine.create(code=code, timeout=1.0)
+ engine_id, output = prolog.engine.create(code=code+aux_code, timeout=1.0)
# X must be female
if prolog.engine.ask_truth(engine_id, 'male(X), sister(X, _)'):