dlv

URI: https://gptkb.org/entity/dlv

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:software gptkb: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
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
https://www.w3.org/2000/01/rdf-schema#label	dlv