В SICStus 3 попробуйте использовать nth/3 вместо nth1/3 - последняя не существует в библиотеке lists.
Если ваш код действительно вызывает user:nth1( , , ), затем nth1/3 (или любой другой префикс с user:) должен быть определен в модуле user для пользовательского кода, что, похоже, не так в вашей среде, учитывая ошибку, которую выописал.Если это так, попробуйте снова без префикса модуля user:.Если предикат является системным предикатом и определенно загружен, система PROLOG должна найти его автоматически.Если это не удастся, PROLOG примет это за то, что вы должны были определить в модуле user, поэтому, возможно, он там и ищет.