deductive database system, based on disjunctive logic programming that use #Datalog language
for more documentation use links : http://www.dlvsystem.com/html/DLV_User_Manual.html , https://www.dbai.tuwien.ac.at/proj/dlv/tutorial/
| Name | Name | Last commit date | ||
|---|---|---|---|---|
deductive database system, based on disjunctive logic programming that use #Datalog language
for more documentation use links : http://www.dlvsystem.com/html/DLV_User_Manual.html , https://www.dbai.tuwien.ac.at/proj/dlv/tutorial/