O'Reilly logo

Handbook of Automated Reasoning by Andrei Voronkov, Alan J.A. Robinson

Stay ahead with the world's most comprehensive technology and business learning platform.

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

Start Free Trial

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 si132_e 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.

Start Free Trial

No credit card required