Nth不承认PROLOG

Question

我一直在处理SICStus Prolog 4.3.0（最新版本）中的列表，我需要打印一个Index为N的列表元素。

我进行了一些研究，谓词nth似乎就是那个：

nth0(?N, ?List, ?Elem) 

我试了一下并试了一下，但显然这个谓词在任何地方都没有被识别出来：

| ?- nth0(3, [a, b, c, d, e], Elem).
! Existence error in user:nth0/3
! procedure user:nth0/3 does not exist
! goal:  user:nth0(3,[a,b,c,d,e],_217)

有关正在发生的事情的任何建议？

编辑：我查找了SICStus 4.3.0的文档，谓词确实存在。它不会得到承认。

Edit2：我尝试添加列表库: :- use_module(library(lists)).仍然没有。

Answer 1

经过一番研究后，我自己想出来了。

Edit2就是答案，但没有正确实施。它应该如下使用：

:- use_module(library(lists)).