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.Prolog- Caricamento di una libreria da un file
5
A
risposta
8
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.