From e6b48be4458318a9d7a0b200cd487f788247549d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Mar 2012 21:43:26 +0000
Subject: [PATCH] avoid making choice-point.

---
 pl/preds.yap | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pl/preds.yap b/pl/preds.yap
index 6b3f40009..0a78dbaa9 100644
--- a/pl/preds.yap
+++ b/pl/preds.yap
@@ -58,10 +58,10 @@ assert(C) :-
 	'$assert_clause2'(H, G, M1, Where, R, P).
 
 '$assert_fact'(H,Mod,Where,R) :-
-	'$is_log_updatable'(H, Mod), !,
-	'$compile_dynamic'(H, Where, H, Mod, R).
-'$assert_fact'(H,Mod,Where,R) :-
-	( '$is_dynamic'(H, Mod) ->
+	( '$is_log_updatable'(H, Mod) ->
+	    '$compile_dynamic'(H, Where, H, Mod, R)
+        ;
+	 '$is_dynamic'(H, Mod) ->
 	    '$assertat_d'(Where, H, true, H, Mod, R)
 	;
 	  '$undefined'(H,Mod) ->