DisLoP: A Research Project on Disjunctive Logic Programming (1997)


Aravindan C. , Dix J. , Niemelä Ilkka

  • Universit\"at Koblenz-Landau


This paper gives a brief high-level description of what has been done in the {\bf Dis}junctive {\bf Lo}gic {\bf P}rogramming-project (funded by {\bf D}eutsche {\bf F}orschungs-{\bf G}emeinschaft), undertaken by the University of Koblenz since July 1995. We present the main ideas, cite the relevant papers and point to the implemented systems and how to access them.