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.
Last updated
⌘Ctrlk
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.
Last updated