diff options
Diffstat (limited to 'prolog/problems/family_relations/brother_2')
| -rw-r--r-- | prolog/problems/family_relations/brother_2/common.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/prolog/problems/family_relations/brother_2/common.py b/prolog/problems/family_relations/brother_2/common.py index a370baa..2b45b53 100644 --- a/prolog/problems/family_relations/brother_2/common.py +++ b/prolog/problems/family_relations/brother_2/common.py @@ -69,11 +69,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.') # X must be male if prolog.engine.ask_truth(engine_id, 'female(X), brother(X, _)'): |