Index

An index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or automated theorem prover.

An index usually starts with a value of 0 for the first item.