diff options
| author | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-23 10:21:51 +0200 |
|---|---|---|
| committer | Martin <martin@leo.fri1.uni-lj.si> | 2015-09-23 10:21:51 +0200 |
| commit | bb366684ada98e140b1911c54d6c40fd911904cf (patch) | |
| tree | e3b4f50ffd033d179c0c38d290ce33b7f99c800a /prolog/problems/family_relations/mother_2 | |
| parent | e0a5dd801c8382848b28503a81c141d0d15f5833 (diff) | |
| parent | 76639241146ac5655ae04ea773ada420adb15295 (diff) | |
Merge branch 'master' of 192.168.15.97:codeq-problems
Diffstat (limited to 'prolog/problems/family_relations/mother_2')
| -rw-r--r-- | prolog/problems/family_relations/mother_2/common.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/prolog/problems/family_relations/mother_2/common.py b/prolog/problems/family_relations/mother_2/common.py index be0d19b..d819ef5 100644 --- a/prolog/problems/family_relations/mother_2/common.py +++ b/prolog/problems/family_relations/mother_2/common.py @@ -85,9 +85,10 @@ def hint(program, solved_problems): # this hint has to be before the next two # as otherwise those two would always override it # and not convey the same (amount of) help/information + # warning: due to speed considerations this (50) is knowledge base dependent + # independent: findall(_, (parent(X, Y) ; female(X)), L2) if prolog.util.Token('SEMI', ';') in tokens and prolog.engine.ask_truth(engine_id, - 'findall(_, mother(X, Y), L1), length(L1, N), \ - findall(_, (parent(X, Y) ; female(X)), L2), length(L2, N)'): + 'findall(_, mother(X, Y), L), length(L, 50)'): return [{'id': 'or_instead_of_and'}] # X must be female |