summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/grandparent_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:42:09 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-18 12:42:09 +0100
commitd3dd46c458500c7adb020d0338dacd55655137c7 (patch)
tree14fd2f855fe70c4f36dc76a4f0ee0f49476c0a45 /prolog/problems/family_relations/grandparent_2
parent56d84be5cfb800f73195cd47c54c5903ba96c6ce (diff)
Do not handle engine errors in hint functions
Such errors are now handled in server.prolog_session.
Diffstat (limited to 'prolog/problems/family_relations/grandparent_2')
-rw-r--r--prolog/problems/family_relations/grandparent_2/common.py3
1 files changed, 0 insertions, 3 deletions
diff --git a/prolog/problems/family_relations/grandparent_2/common.py b/prolog/problems/family_relations/grandparent_2/common.py
index 1657509..ff94f31 100644
--- a/prolog/problems/family_relations/grandparent_2/common.py
+++ b/prolog/problems/family_relations/grandparent_2/common.py
@@ -73,11 +73,8 @@ def hint(program, solved_problems):
server.problems.solutions_for_problems('prolog', solved_problems) + '\n' +
server.problems.load_facts('prolog', facts).facts)
- engine_id = None
try:
engine_id, output = prolog.engine.create(code=code, timeout=1.0)
- if not engine_id:
- raise Exception('Prolog engine failed to create.')
# TODO: generic hint for:
# TODO: parent(X, Z1), parent(Z2, Y), Z1 = Z2