Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Coalgebraic Logic Programming: from Semantics to Implementation   Coinductive definitions, such as that of an infinite stream, may often be
described by elegant logic programs, but ones for which SLD-refutation is of no
value as SLD-derivations fall into infinite loops. Such definitions give rise
to questions of lazy corecursive derivations and parallelism, as execution of
such logic programs can have both recursive and corecursive features at once.
Observational and coalgebraic semantics have been used to study them
abstractly. The programming developments have often occurred separately and
have usually been implementation-led. Here, we give a coherent semantics-led
account of the issues, starting with abstract category theoretic semantics,
developing coalgebra to characterise naturally arising trees, and proceeding
towards implementation of a new dialect, CoALP, of logic programming,
characterised by guarded lazy corecursion and parallelism.

16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
24
The categories of this paper are: dg-ga
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin