The first algorithm we discuss is TILDE , an algorithm that builds first-order decision trees. In a first-order decision tree, nodes contain literals that together with the conjunction of the literals in the nodes above this node (i.e., in a path from the root to this node) form the query that is to be run for an example to decide which subtree it should be sorted into. When building the tree, the literal (or conjunction of literals) to be put in one node is chosen as follows: given the query corresponding to a path from the root to this node, generate all refinements of this query (a refinement of a query is formed by adding one or more literals to the query); evaluate these refinements on the relevant subset of the data,2 computing, e.g., the information gain  yielded by the refinement; choose the best refinement; and put the literals that were added to the original clause to form this refinement in the node.
At this point it is clear that a lot of computational redundancy exists if each refinement is evaluated separately. Indeed all refinements contain exactly the same literals except those added during this single refinement step. Organising all refinements into one query pack, we obtain a query pack that essentially has only one level (the root immediately branches into leaves). When TILDE's lookahead facility is used , refinements form a lattice and the query pack may contain multiple (though usually few) levels.
Note that the root of these packs may consist of a conjunction of many literals, giving the pack a broom-like form. The more literals in the root of the pack, the greater the benefit of query pack execution is expected to be.
The query pack generated for this refinement could for instance be
When evaluating this pack, all backtracking through the root of the pack (the ``stick'' of the broom) will happen only once, instead of once for each refinement. In other words: when evaluating queries one by one, for each query the Prolog engine needs to search once again for all objects , and fulfilling the constraint circle(A,C), leftof(A,C,D), above(A,D,E); when executing a pack this search is done only once.