Index
Revision as of 03:27, 22 April 2022 by Todd Price (talk | contribs) (Created page with "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...")
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.