prolog - 下标是如何工作的？

Question

在第一张图片中，我使用以下方法获取数组的第一个元素：

subscript(array,[1],First)

在第二张图片中，我尝试了相同的方法，但随后对第二个元素进行了尝试，但它获取了从第二个元素到数组末尾的所有内容。我只想要第二个元素而不是其余元素。

下标究竟是如何工作的？

Answer 1

正如@lurker 在他的评论中所说，您正在尝试申请subscript/3一个列表，但它需要一个数组或任何其他平面结构。

按照惯例，对数组ECLiPSe使用带有函子的结构。'[]'/N您可以通过字面书写它们来创建它们

Array = [](5,Y,Z,9,2)

或通过创建它们dim/2

dim(Array, [5])

或通过从列表中转换它们

array_list(Array, [5,Y,Z,9,2])

在这样的数组上，subscript/3按预期工作：

?- Array = [](5,X,Z,9,2), subscript(Array,[4],Elem).
Elem = 9
Yes (0.00s cpu)

请注意，subscript/3在算术表达式中使用数组表示法时会隐式调用：

?- Array = [](5,X,Z,9,2), Result is Array[4] + 1.
Result = 10
Yes (0.00s cpu)