SWI-prolog 纯逻辑编程模块失败

我在 SWI-Prolog 工作。

我们被要求做一些“纯逻辑”的实现，为此，必须将一些模块添加到代码中（以控制代码的执行）。让我们选择其中之一：

:- module(_,_,[]).

我的代码没有它也能正常工作，但是当我添加它时（在它的开头），它失败并显示以下消息：Arguments are not sufficiently instantiated.

我也尝试在一个空文件中添加 :- module(_,[]).，但仍然失败并出现相同的错误；所以不是我代码的问题，而是模块的问题。

我已经搜索过错误，但我只发现它与一个不同的问题有关：通常在声明之前使用一些变量，例如 (Prolog - Arguments are not sufficiently instantiated)。