Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On completeness of logic programs   Program correctness (in imperative and functional programming) splits in
logic programming into correctness and completeness. Completeness means that a
program produces all the answers required by its specification. Little work has
been devoted to reasoning about completeness. This paper presents a few
sufficient conditions for completeness of definite programs. We also study
preserving completeness under some cases of pruning of SLD-trees (e.g. due to
using the cut).
  We treat logic programming as a declarative paradigm, abstracting from any
operational semantics as far as possible. We argue that the proposed methods
are simple enough to be applied, possibly at an informal level, in practical
Prolog programming. We point out importance of approximate specifications.

9
The categories of this paper are: nlin
15
The categories of this paper are: nucl-ex
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
0
The categories of this paper are: hep-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
3
The categories of this paper are: physics
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph