How can I make scope in prolog?

He-chien Tsai <[email protected]> Mon, 13 Jan 2014 20:22:05 +0800

Newsgroups	gmane.comp.ai.prolog.swi
Message-ID	<CABCDVh3db7Lkcs7nNiGyuAq2Vs7jX9bzPcZUXhnFg3F6HqWjyQ@mail.gmail.com>

I want to scope the scope which prolog inference engine is restricted in
that scope.

for example:


pred1(A) :- pred2(A). % rule 1

scope(scope1).
% In this scope, rule 1 is deprecated
pred2(A) :- pred3(A). % rule 2
pred3(b). % rule 3

pred2(A). % A = b.
pred1(A). % no.

end_scope(scope1).
-------------- next part --------------
HTML attachment scrubbed and removed