prolog - リストの N 番目の値で項を統一する

Question

vector_reference(L,N,V)リスト "L" とインデックス "N" を指定すると、V がリストの N 番目の値と統合されるように、Prolog 述語 の実装に問題があります。

印刷例は次のとおりです。

?- vector_reference([2,3,4], 3, V).
V = 4

?- vector_reference([2, [2,3],’hello’]),2,V).
V = [2,3]

どんな助けでも大歓迎です。

Answer 1

標準ライブラリ(自動ロードされ、何もする必要はありlibrary(lists)ません) には、2 つの述語があります。例えば：nth0/3nth1/3

?- nth1(2, [2,[2,3],hello], V).
V = [2, 3].

ところで、SWI-Prolog の Web ページには非常に便利な検索機能があります。そこに入力nthすると、答えが得られます。