Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)

) y Gopalan Nadathur z Donald W. Loveland Department of Computer Science Department of Computer Science University of Chicago Duke University 1100 E 58th Street, Chicago, IL 60637 Box 90129, Durham, NC 27708-0129 [email protected] [email protected] 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 crit..