The near-Horn approach to disjunctive logic programming
This paper presents an overview of the near-Horn Prolog project at Duke University. The basic goal behind this project has been to extend Prolog to disjunctive logic programs (and thus full first-order expressibility) while retaining as much of the clarity and procedural simplicity of Prolog as possible. The approach taken to achieve this goal has been to combine Prolog with case analysis reasoning. The research work within the project can roughly be divided into three areas: procedure design, semantics, and implementation. Three different variants of Near-Horn Prolog have been devised, of which the most recent, Inheritance near-Horn Prolog (InH-Prolog), is the variant currently being favored. The semantics for the near-Horn Prologs, specifically for InH-Prolog, have been investigated, resulting in a case-analysis based fixpoint semantics which mimics the procedural behavior of InH-Prolog. Also, both classical and default negation have been incorporated into the near-Horn Prolog systems. Finally, an interpreter for the original near-Horn Prolog variant has been implemented, and a compiler for the InH-Prolog variant is currently nearing completion.
Unable to display preview. Download preview PDF.
- M. Gelfond and V. Lifschitz. Logic programs with classical negation. In D.H.D. Warren and P. Szeredi, editors, Logic Programming: Proc. of the Seventh Int'l Conf., Jerusalem, Israel, 1990. MIT Press.Google Scholar
- G. Gentzen. Investigations into logical deductions. In M.E. Szabo, editor, The collected papers of Gerhard Gentzen, pages 68–131. North-Holland Publishing Company, Amsterdam, 1969.Google Scholar
- J. Lobo, J. Minker, and A. Rajasekar. Extending the semantics of logic programs to disjunctive logic programs. In G. Levi and M. Martelli, editors, Logic Programming: Proc. of the Sixth Int'l Conf, Lisbon, Portugal, 1989.Google Scholar
- D.W. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, Amsterdam, 1978.Google Scholar
- D.W. Loveland. Near-Horn Prolog. In J. Lassez, editor, Logic Programming: Proc. of the Fourth Int'l Conf., pages 456–469. MIT Press, 1987.Google Scholar
- D.W. Loveland and G. Nadathur. Handbook for Logic in AI and Logic Programming, volume 4, chapter Proof Procedures for Logic Programming. Oxford University Press. (to appear).Google Scholar
- D.W. Loveland and D.W. Reed. A near-Horn Prolog for compilation. In J. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.Google Scholar
- J. Minker. On indefinite databases and the closed world assumption. In Lecture Notes in Computer Science 138, pages 292–308. Springer-Verlag, Berlin, 1982.Google Scholar
- D.W. Reed. A Case-analysis Approach to Disjunctive Logic Programming. PhD thesis, Duke University, December 1991.Google Scholar
- D.W. Reed and D.W. Loveland. A comparison of three Prolog extensions. J. Logic Programming, 12(1), 1992.Google Scholar
- D.W. Reed, D.W. Loveland, and B.T. Smith. An alternative characterization of disjunctive logic programs. In V. Saraswat and K. Ueda, editors, Logic Programming: Proc. of the 1991 Int'l Symp. MIT Press, 1991.Google Scholar
- B.T. Smith and D.W. Loveland. A simple near-Horn Prolog interpreter. In Kowalski and Bowen, editors, Logic Programming: Proc. of the Fifth Int'l Conf. and Symp., pages 794–809. MIT Press, 1988.Google Scholar