Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
answer set programming system |
| gptkbp:developer |
gptkb:Nicola_Leone
gptkb:Alessandro_Ricca gptkb:Gianluigi_Greco gptkb:Giovambattista_Ianni gptkb:Thomas_Eiter gptkb:Wolfgang_Faber |
| gptkbp:genre |
logic programming
|
| https://www.w3.org/2000/01/rdf-schema#label |
dlv
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
gptkb:Windows
gptkb:macOS gptkb:Linux |
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:website |
http://www.dlvsystem.com/
|
| gptkbp:bfsParent |
gptkb:Deutscher_Landwirtschaftsverlag
|
| gptkbp:bfsLayer |
7
|