From 7f952c8b74a2ff3c824f8149f93b52d8ed831083 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 25 Sep 2014 09:42:51 +0100 Subject: [PATCH] avoid backtracking --- pl/utils.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/utils.yap b/pl/utils.yap index ed638e482..94aca6cd7 100644 --- a/pl/utils.yap +++ b/pl/utils.yap @@ -74,8 +74,8 @@ a postfix operator. '$check_module_for_op'(V, G, NV), '$check_top_op'(P, T, NV, G). -'$check_top_op'(_, _, [], _). -'$check_top_op'(P, T, Op.NV, G) :- !, +'$check_top_op'(_, _, [], _) :- !. +'$check_top_op'(P, T, [Op|NV], G) :- !, '$check_ops'(P, T, Op.NV, G). '$check_top_op'(P, T, V, G) :- atom(V), !,