DisLoP: a research project on Disjunctive Logic Programming

Abstract

This paper gives a brief high‐level description of what has been done in the Disjunctive Logic Programming‐project (funded by Deutsche Forschungs‐Gemeinschaft), undertaken by the University of Koblenz, Germany since July 1995. Presented are the main ideas, the implemented systems and how to access them, and the relevant papers are cited. This paper also serves as a brief survey of the current status of disjunctive logic programming by highlighting important developments and provides enough pointers for further reading.