diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:36:37 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:36:37 +0100 |
commit | 5902e5a5c40ec8fa32c7af8d4bcc57134a0bea66 (patch) | |
tree | 53b9aee47bbee39682a9c1a6c1ab0ef248a78389 /prolog/problems/family_relations/father_2 | |
parent | d6b6ab704d4552db052099fa2a7c9b7e9ff6a297 (diff) |
Simplify Prolog hint functions
Diffstat (limited to 'prolog/problems/family_relations/father_2')
-rw-r--r-- | prolog/problems/family_relations/father_2/common.py | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py index f5888de..40a0f1a 100644 --- a/prolog/problems/family_relations/father_2/common.py +++ b/prolog/problems/family_relations/father_2/common.py @@ -59,15 +59,11 @@ 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): - tokens = prolog.util.tokenize(program) - - code = (program + '\n' + - server.problems.solutions_for_problems('prolog', solved_problems) + '\n' + - server.problems.load_facts('prolog', facts).facts) +def hint(code, aux_code): + 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) # OR (;) instead of AND (,) # this hint has to be before the next two |