Sicstus手册说使用它来加载库： use_module（库（包））。 这在命令行上的Prolog中有效，但我无法找到如何从Prolog源文件加载库。当我包含“use_module（library（Package））时。”在我的.pl文件中，我收到权限错误：无法重新定义built_in use_module / 1.
答案 0 :(得分：9)
尝试使用指令，例如：
:- use_module(library(Package)).
...位于文件的顶部，其中Package是标识要加载的库模块的原子。