From c50452d81b08d54b734f1da73b736bfbc2997215 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Tue, 22 Sep 2015 17:57:04 +0200 Subject: New problems with hints for famrel section added. This practically completes famrel section without some details. --- prolog/problems/family_relations/father_2/common.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'prolog/problems/family_relations/father_2') 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 -- cgit v1.2.1