Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic Engines as Interactors   We introduce a new programming language construct, Interactors, supporting
the agent-oriented view that programming is a dialog between simple,
self-contained, autonomous building blocks.
  We define Interactors as an abstraction of answer generation and refinement
in Logic Engines resulting in expressive language extension and metaprogramming
patterns, including emulation of Prolog's dynamic database.
  A mapping between backtracking based answer generation in the callee and
"forward" recursion in the caller enables interaction between different
branches of the callee's search process and provides simplified design patterns
for algorithms involving combinatorial generation and infinite answer streams.
  Interactors extend language constructs like Ruby, Python and C#'s multiple
coroutining block returns through yield statements and they can emulate the
action of monadic constructs and catamorphisms in functional languages.
  Keywords: generalized iterators, logic engines, agent oriented programming
language constructs, interoperation with stateful objects, metaprogramming

31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
3
The categories of this paper are: physics
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
18
The categories of this paper are: econ