From 4e8e81f044a4d76d9d60090cd104eff51a3629e3 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 30 Dec 2010 23:20:49 -0600
Subject: [PATCH] don't ask for solutions if we know there are none left.

---
 pl/boot.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pl/boot.yap b/pl/boot.yap
index eac15a1b2..01da760c4 100755
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -515,7 +515,7 @@ true :- true.
 	X == '$', !,
 	( recorded('$reconsulting',_,R) -> erase(R) ).
 
-'$prompt_alternatives_on'(groundness).
+'$prompt_alternatives_on'(determinism).
 
 /* Executing a query */