Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic Programming with Satisfiability   This paper presents a Prolog interface to the MiniSat satisfiability solver.
Logic program- ming with satisfiability combines the strengths of the two
paradigms: logic programming for encoding search problems into satisfiability
on the one hand and efficient SAT solving on the other. This synergy between
these two exposes a programming paradigm which we propose here as a logic
programming pearl. To illustrate logic programming with SAT solving we give an
example Prolog program which solves instances of Partial MAXSAT.

2
The categories of this paper are: math
15
The categories of this paper are: nucl-ex
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
23
The categories of this paper are: solv-int
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph