diff options
Diffstat (limited to 'prolog/problems/family_relations/father_2')
| -rw-r--r-- | prolog/problems/family_relations/father_2/common.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py index 400c91b..802193d 100644 --- a/prolog/problems/family_relations/father_2/common.py +++ b/prolog/problems/family_relations/father_2/common.py @@ -72,11 +72,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.') # OR (;) instead of AND (,) # this hint has to be before the next two |