Paper Info
Title
Dislop: Towards a Disjunctive Logic Programming System
Abstract
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.
Year
DOI
Venue
1997
10.1007/3-540-63255-7_25
LPNMR
Keywords
Field
DocType
disjunctive logic programming
Functional logic programming,Programming language,Horn clause,Computer science,Disjunctive programming,Inductive programming,Algorithm,Theoretical computer science,Circumscription,Stable model semantics,Logic programming,Constraint logic programming
Conference
Volume
ISSN
ISBN
1265
0302-9743
3-540-63255-7
Citations 
PageRank 
References 
5
0.89
23
Authors
3
Name
Order
Citations
PageRank
Chandrabose Aravindan113723.13
Jürgen Dix297985.23
Ilkka Niemelä32939148.38