From 9f90ae6885b4ce454e2b7e037b637183a175913f Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 14 Mar 2016 04:47:53 +0100 Subject: Hints for last_elem/2 updated. --- prolog/problems/lists/last_elem_2/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prolog') diff --git a/prolog/problems/lists/last_elem_2/common.py b/prolog/problems/lists/last_elem_2/common.py index cb934fc..81192ba 100644 --- a/prolog/problems/lists/last_elem_2/common.py +++ b/prolog/problems/lists/last_elem_2/common.py @@ -93,7 +93,7 @@ def hint(code, aux_code): return [{'id': '[]_should_not_succeed'}] # returns a list, not an element as required - if prolog.engine.ask_truthTO(engine_id, 'last_elem([qQ], [qQ])'): # 'last_elem([qQ], X), is_list(X)' with ask_one? + if prolog.engine.ask_one(engine_id, 'last_elem([qQ], X), is_list(X)'): # 'last_elem([qQ], [qQ])' with ask_one? return [{'id': 'list_returned'}] # missing/failed base case -- cgit v1.2.1