El manual de Sicstus dice que use esto para cargar una biblioteca: use_module (library (Package)). Esto funciona en Prolog en la línea de comandos, pero no puedo averiguar cómo cargar una biblioteca d
que tiene un programa escrito en Prolog SICStus mediante restricciones. Mi objetivo es usar etiquetado/2 y algún otro método para obtener una instanciación aleatoria de mis variables. Ejemplo: X #> 2,