From 5796bc7d71265f36c67d94e941b857fab86ec8d3 Mon Sep 17 00:00:00 2001 From: Aleksander Sadikov Date: Mon, 14 Mar 2016 17:24:03 +0100 Subject: Basics for permute/2 added. --- 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 1dd3c82..30b15bc 100644 --- a/prolog/problems/lists/last_elem_2/common.py +++ b/prolog/problems/lists/last_elem_2/common.py @@ -97,7 +97,7 @@ def hint(code, aux_code): return [{'id': 'list_returned'}] # missing/failed base case - if not prolog.engine.ask_one(engine_id, 'last_elem([qQ], qQ)'): + if not prolog.engine.ask_truth(engine_id, 'last_elem([qQ], qQ)'): return [{'id': 'base_case'}] # target predicate seems to always be false -- cgit v1.2.1