Module 有没有办法避免在SWI Prolog控制台中为模块的每个谓词加前缀?

Module 有没有办法避免在SWI Prolog控制台中为模块的每个谓词加前缀?,module,prolog,swi-prolog,Module,Prolog,Swi Prolog,以下是一个例子: %% file named: p.pl :- module(p,[ ]). :- use_module(library(chr)). :- chr_constraint red, blue, yellow, orange, purple, green. red, blue <=> purple. red, yellow <=> orange. blue, yellow <=> green. 我知道如果我在模块声明中导出它,一切都是可调用

以下是一个例子:

%% file named: p.pl
:- module(p,[   ]).
:- use_module(library(chr)).
:- chr_constraint red, blue, yellow, orange, purple, green.
red, blue <=> purple.
red, yellow <=> orange.
blue, yellow <=> green.
我知道如果我在模块声明中导出它,一切都是可调用的,但是出于调试目的,这太多了

[p].
不起作用

我暂时想做的调试工作是:

:- module(p,[ * everything  ]).

一种可能的替代方法是使用
module/1
内置谓词切换交互式顶层的默认工作模块。尝试:

?- module(p).

在这个查询之后,您应该能够调用
p
模块中的任何谓词,而不必使用
p:
前缀。

对于SICStus,YAP同样保持。
?- module(p).