This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
CITATION STYLE
Aravindan, C., Dix, J., & Niemelä, I. (1997). DisLoP: Towards a disjunctive logic programming system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1265, pp. 341–352). Springer Verlag. https://doi.org/10.1007/3-540-63255-7_25
Mendeley helps you to discover research relevant for your work.