Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: (Co)recursion in Logic Programming: Lazy vs Eager   CoAlgebraic Logic Programming (CoALP) is a dialect of Logic Programming
designed to bring a more precise compile-time and run-time analysis of
termination and productivity for recursive and corecursive functions in Logic
Programming. Its second goal is to introduce guarded lazy (co)recursion akin to
functional theorem provers into logic programming. In this paper, we explain
lazy features of CoALP, and compare them with the loop-analysis and eager
execution in Coinductive Logic Programming (CoLP). We conclude by outlining the
future directions in developing the guarded (co)recursion in logic programming.

18
The categories of this paper are: econ
16
The categories of this paper are: stat
14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
35
The categories of this paper are: mtrl-th