В руководстве Sicstus сказано, чтобы использовать это для загрузки библиотеки: use_module (библиотека (пакет)). Это работает в Прологе в командной строке, но я не могу узнать, как загрузить библиотеку из исходного файла Пролога. Когда я включаю «use_module (library (Package))». в моем файле .pl я получаю ошибку разрешения: невозможно переопределить встроенный_используемый_модуль / 1.
Попробуйте использовать директиву , например:
:- use_module(library(Package)).
... в верхней части файла, где Package - это атом, идентифицирующий библиотечный модуль, который вы хотитенагрузка.
Package