Prolog-从文件中加载库

Question

Sicstus手册说要使用它来加载库： use_module（库（Package））。 这在Prolog的命令行中有效，但我无法找到如何从Prolog源文件加载库。当我包含“use_module（library（Package））”。在我的.pl文件中，我得到一个权限错误：无法重新定义built_in use_module/1。

Answer 1

尝试使用指令，如：

:- use_module(library(Package)). 

...你的文件，其中Package是原子确定要加载的库模块的顶部。