On Merging Theorem Proving and Logic Programming Paradigms
Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg · 1996
) In this poster session, we present the current results of on-going projects on deduction, disjunctive logic programming, and information management systems, at the University of Koblenz, Germany. The central idea behind these projects is to apply techniques and concepts developed for theorem proving in disjunctive logic programming (thereby achieving a tight integration between these two paradigms) and apply this combination to real world problems such as information management systems. The theorem prover PROTEIN developed as a result of the deduction project is being extended to include features, such as minimal model reasoning, that are required for disjunctive logic programming. In the sequel, we briefly review this idea. Interested readers are referred to our full papers (see the references) for more information on the presented materials. PROTEIN (PROver with a Theory Extension INterface) is a complete theorem prover for first order clause logic implemented in ECLiPSe-Prolog, ba...