New problems with hints for famrel section added.

This practically completes famrel section without some details.

1 files changed, 3 insertions, 2 deletions

diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py
index 22c9b48..cbfbcab 100644
--- a/prolog/problems/family_relations/father_2/common.py
+++ b/prolog/problems/family_relations/father_2/common.py
@@ -74,9 +74,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 (48) is knowledge base dependent
+        # independent: findall(_, (parent(X, Y) ; male(X)), L2)
         if prolog.util.Token('SEMI', ';') in tokens and prolog.engine.ask_truth(engine_id,
-            'findall(_, father(X, Y), L1), length(L1, N), \
-             findall(_, (parent(X, Y) ; male(X)), L2), length(L2, N)'):
+            'findall(_, father(X, Y), L), length(L, 48)'):
             return [{'id': 'or_instead_of_and'}]
 
         # X must be male