Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The (Lazy) Functional Side of Logic Programming   The possibility of translating logic programs into functional ones has long
been a subject of investigation. Common to the many approaches is that the
original logic program, in order to be translated, needs to be well-moded and
this has led to the common understanding that these programs can be considered
to be the ``functional part'' of logic programs. As a consequence of this it
has become widely accepted that ``complex'' logical variables, the possibility
of a dynamic selection rule, and general properties of non-well-moded programs
are exclusive features of logic programs. This is not quite true, as some of
these features are naturally found in lazy functional languages. We readdress
the old question of what features are exclusive to the logic programming
paradigm by defining a simple translation applicable to a wider range of logic
programs, and demonstrate that the current circumscription is unreasonably
restrictive.

27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
22
The categories of this paper are: chao-dyn
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int