Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic
  Inference   It is common to view programs as a combination of logic and control: the
logic part defines what the program must do, the control part -- how to do it.
The Logic Programming paradigm was developed with the intention of separating
the logic from the control. Recently, extensive research has been conducted on
automatic generation of control for logic programs. Only a few of these works
considered the issue of automatic generation of control for improving the
efficiency of logic programs. In this paper we present a novel algorithm for
automatic finding of lowest-cost subgoal orderings. The algorithm works using
the divide-and-conquer strategy. The given set of subgoals is partitioned into
smaller sets, based on co-occurrence of free variables. The subsets are ordered
recursively and merged, yielding a provably optimal order. We experimentally
demonstrate the utility of the algorithm by testing it in several domains, and
discuss the possibilities of its cooperation with other existing methods.

19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
11
The categories of this paper are: hep-lat
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex