6

The Sicstus manual says to use this to load a library: use_module(library(Package)). This works in Prolog on the command line, but I can't find out how to load a library from a Prolog source file. When I include "use_module(library(Package))." in my .pl file, I get a permission error: cannot redefine built_in use_module/1.

false
  • 10,182
  • 12
  • 93
  • 182
Daniel Sopel
  • 2,897
  • 4
  • 19
  • 17
  • If anyone drops by, I have prepared this little example set: [Prolog module loading example: Loading the "lynx" library](https://github.com/dtonhofer/prolog_notes/blob/master/loading_lynx_library.md) – David Tonhofer Mar 18 '20 at 15:17

1 Answers1

9

Try using a directive, such as:

:- use_module(library(Package)).

...at the top of your file, where Package is the atom identifying the library module you want to load.