Published:
May 1999
Proceedings:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Volume
Issue:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
Track:
All Papers
Downloads:
Abstract:
The success of Prolog motivates people to use full first-order logic instead of only Horn clauses as the basis of logic programming. One of the main work in this extending is to seek proof procedures for new logic programming. Positive disjunctive logic programming extends Horn clause programming by allowing more than one atoms to occur in the head of a program clause. In this paper we propose a new proof procedure for disjunctive logic programming which is based on a novel program transformation. With this transformation, the new proof procedure shares many important properties enjoyed by SLD-resolution. The soundness and completeness of the proof procedure with respect to computing answers are given.
FLAIRS
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference (FLAIRS 1999)
ISBN 978-1-57735-080-4
Published by The AAAI Press, Menlo Park, California.