Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Towards Interactive Logic Programming   Linear logic programming uses provability as the basis for computation. In
the operational semantics based on provability, executing the
additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates
with a success if both $G_1$ and $G_2$ are solvable from $P$. This is an
unsatisfactory situation, as a central action of \& -- the action of choosing
either $G_1$ or $G_2$ by the user -- is missing in this semantics.
  We propose to modify the operational semantics above to allow for more active
participation from the user. We illustrate our idea via muProlog, an extension
of Prolog with additive goals.

34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg