## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

No credit card required

## 9 Code trees

Code trees were introduced in [Voronkov 1994, Voronkov 1995]. A code tree is an index consisting of pieces of code instead of strings. Every piece of code is an instruction of an abstract machine able to perform the retrieval operation.

The general scheme of this indexing technique is as follows. Suppose that we have a retrieval condition R. For every indexed term l, we compile l into a sequence of instructions $i 1 , … , i n$ of the abstract machine. This sequence represents a function I l such that for every possible query term t we have $I l ( t ) ⇔ R ( l , t )$ . The sequence of instructions may, ...

## With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

No credit card required