From 2c7e739593489419338c85fd67f9d6ee4f377a6e Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 14 Mar 2016 18:37:55 +0100 Subject: Hint for conc/3 corrected. --- prolog/problems/lists/conc_3/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prolog/problems/lists/conc_3/common.py b/prolog/problems/lists/conc_3/common.py index fd97865..105f801 100644 --- a/prolog/problems/lists/conc_3/common.py +++ b/prolog/problems/lists/conc_3/common.py @@ -88,7 +88,7 @@ def hint(code, aux_code): # inserting first list's head into the second list in recursive call: conc(T, [H\L2], L) if prolog.engine.ask_truthTO(engine_id, - 'conc([a,b,c,d,e], [1,2,3,4], L = [e,d,c,b,a,1,2,3,4])'): + 'conc([a,b,c,d,e], [1,2,3,4], [e,d,c,b,a,1,2,3,4])'): return [{'id': 'insertion_into_second_list'}] # forcing result onto recursion; case of conc(T, L2, [H|L]) -- cgit v1.2.1