Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules. This extension enables disjunctive Datalog to express several NP-hard problems that are not known to be expressable in plain Datalog. Disjunctive Datalog has been applied in the context of reasoning about ontologies in the semantic web. DLV is an implementation of disjunctive Datalog.
Spotify · SoundCloud · Instagram
FAQ
- Where can I find DLV live shows?
- Open DLV in the SoundOff app for personalized upcoming show picks based on your own concert history.
- How do SoundOff fans rank DLV?
- SoundOff uses head-to-head comparisons instead of star ratings. Fans who logged DLV compare sets to build a personal ranking over time.
Get an alert next time DLV plays near you.