问题描述
我在 SWI-Prolog 工作。
我们被要求做一些“纯逻辑”的实现，为此，必须将一些模块添加到代码中（以控制代码的执行）。让我们选择其中之一：
:- module(_,_,[]).
我的代码没有它也能正常工作，但是当我添加它时（在它的开头），它失败并显示以下消息：Arguments are not sufficiently instantiated.
我也尝试在一个空文件中添加 :- module(_,[]).，但仍然失败并出现相同的错误；所以不是我代码的问题，而是模块的问题。
我已经搜索过错误，但我只发现它与一个不同的问题有关：通常在声明之前使用一些变量，例如 (Prolog - Arguments are not sufficiently instantiated)。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）