Prolog- Caricamento di una libreria da un file

Question

Il manuale Sicstus dice di utilizzarlo per caricare una libreria: use_module (libreria (pacchetto)). Questo funziona in Prolog sulla riga di comando, ma non riesco a scoprire come caricare una libreria da un file sorgente di Prolog. Quando includo "use_module (library (Package))." nel mio file .pl, ottengo un errore di autorizzazione: non posso ridefinire built_in use_module/1.

Answer 1

Provare a usare una direttiva, come ad esempio:

:- use_module(library(Package)). 

... nella parte superiore del file, dove Package è l'atomo che identifica il modulo di libreria che si desidera caricare.