Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Programming Finite-Domain Constraint Propagators in Action Rules   In this paper, we propose a new language, called AR ({\it Action Rules}), and
describe how various propagators for finite-domain constraints can be
implemented in it. An action rule specifies a pattern for agents, an action
that the agents can carry out, and an event pattern for events that can
activate the agents. AR combines the goal-oriented execution model of logic
programming with the event-driven execution model. This hybrid execution model
facilitates programming constraint propagators. A propagator for a constraint
is an agent that maintains the consistency of the constraint and is activated
by the updates of the domain variables in the constraint. AR has a much
stronger descriptive power than {\it indexicals}, the language widely used in
the current finite-domain constraint systems, and is flexible for implementing
not only interval-consistency but also arc-consistency algorithms. As examples,
we present a weak arc-consistency propagator for the {\tt all\_distinct}
constraint and a hybrid algorithm for n-ary linear equality constraints.
B-Prolog has been extended to accommodate action rules. Benchmarking shows that
B-Prolog as a CLP(FD) system significantly outperforms other CLP(FD) systems.

4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
2
The categories of this paper are: math
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg