From 769ea0cfcc031b0cb04e7d49f051cbd127b20406 Mon Sep 17 00:00:00 2001 From: vsc Date: Tue, 29 May 2001 17:15:18 +0000 Subject: [PATCH] fix extra backtracking in consult and friends. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@48 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/boot.yap | 2 +- pl/consult.yap | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pl/boot.yap b/pl/boot.yap index 72feed80c..41d4089d0 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -866,7 +866,7 @@ break :- '$get_value'('$break',BL), NBL is BL+1, ; throw(error(permission_error(input,stream,Y),consult(X))) ). -'$consult'(M:X) :- +'$consult'(M:X) :- !, '$mod_switch'(M,'$consult'(X)). '$consult'(library(X)) :- !, '$find_in_path'(library(X),Y), diff --git a/pl/consult.yap b/pl/consult.yap index 62846184e..12eadbece 100644 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -43,7 +43,7 @@ ensure_loaded(V) :- throw(error(permission_error(input,stream,X),ensure_loaded(X))) ). -'$ensure_loaded'(M:X) :- +'$ensure_loaded'(M:X) :- !, '$mod_switch'(M,'$ensure_loaded'(X)). '$ensure_loaded'(library(X)) :- !, '$find_in_path'(library(X),Y), @@ -105,7 +105,7 @@ reconsult(Fs) :- ; throw(error(permission_error(input,stream,X),reconsult(X))) ). -'$reconsult'(M:X) :- +'$reconsult'(M:X) :- !, '$mod_switch'(M,'$reconsult'(X)). '$reconsult'(library(X)) :- !, '$find_in_path'(library(X),Y),