Download:
|
by Gopalan Nadathur, Donald W. Loveland
http://www.cs.uchicago.edu/~gopalan/papers/updisj.ps.gz
Add To MetaCart
Abstract:
One formulation of the concept of logic programming is the notion of Abstract Logic Programming Language, introduced in [8]. Central to that definition is uniform proof, which enforces the requirements of inference direction, including goal-directedness, and the duality of readings, declarative and procedural. We use this technology to investigate Disjunctive Logic Programming (DLP), an extension of traditional logic programming that permits disjunctive program clauses. This extension has been considered by some to be inappropriately identified with logic programming because the indefinite reasoning introduced by disjunction violates the goal-oriented search directionality central to logic programming. We overcome this criticism by showing that the requirement of uniform provability can be realized in a logic more general than that of DLP under a modest, sound, modification of programs. We use this observation to derive inference rules that capture the essential proof structure of InH-Prolog, a known proof procedure for DLP.
Citations
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
332
|
Uniform proofs as a foundation for logic programming
– Miller, Nadathur, et al.
- 1991
|
|
263
|
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
– Miller
- 1991
|
|
186
|
Overview of Disjunctive Logic Programming
– Minker
- 1994
|
|
131
|
On indefinite databases and the closed world assumption. Lecture
– Minker
|
|
53
|
Inferring negative information from disjunctive databases
– Ross, Topor
- 1988
|
|
44
|
Deduction in non-horn databases
– Yahia, Henschen
- 1985
|
|
35
|
Near Horn Prolog and Beyond
– Loveland
- 1988
|
|
24
|
A Proof Procedure for the Logic of Hereditary Harrop Formulas
– Nadathur
- 1993
|
|
21
|
Near-Horn Prolog
– Loveland
- 1987
|
|
14
|
Extending the semantics of logic programs to disjunctive logic programs
– Lobo, Minker, et al.
- 1989
|
|
11
|
A near-horn prolog for compilation
– Loveland, Reed
- 1991
|
|
10
|
An alternative characterization of disjunctive logic programs
– Reed, Loveland, et al.
- 1991
|
|
2
|
Stationary semantics for disjunctive logic programs and deductive databases
– Pryzmusinski
- 1990
|
