In SICStus Prolog, esiste un hook per l'espansione di un obiettivo: goal_expansion/6 che viene chiamato sia in fase di compilazione che in fase di esecuzione durante il metacalling. Queste chiamate co
SICStus Prolog 4.3 ha aggiunto un compilatore JIT per processori x86-64. Ho due domande relative al compilatore JIT. Innanzitutto, dove posso trovare della documentazione (documenti, note o memo) sull
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 libreri