DLV
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.
Genre: techno, acid-techno, hard-techno
Copyright Verification
- CopyrightID (CopyrightChains tx_hash): 0xe02b6371c540840333d7f3c03707e68167492334ee948c2feea4dadd3f5a7d66
- Status: registered
- Registered: 2026-06-11T11:32:05+00:00
- Explorer: https://explorer.copyrightchains.com/tx/0xe02b6371c540840333d7f3c03707e68167492334ee948c2feea4dadd3f5a7d66
Top Tracks
- Rave Instructor
- Der Teufel - Gazometer '98 Mix
- Sehnsucht - DLV Remix
- Transmission
- Space Machine
- Dolor - Original Mix
- Deimos - Original Mix
- Rufmord - Original Mix
- Anarchic Revenge - Original Mix
- No Love Only Pleasure - DLV Remix
- Stimulate Sustain
- Lost Control - DLV Remix
- Deimos
- Anarchic Revenge
- Dolor
- Rufmord
- Demons And The Ghost - Radio Edit
- Halbwesen
- Wachtraum
- Getrieben Von Der Bassline
Albums (22)
- LOST CONTROL incl. Remixes (2024)
- The First 5 Years: Remixed (2024)
- Roleplay (2024)
- Final Steps (DLV & KTK Remix) (2024)
- Untold Secrets EP (2024)
- Sinnerman (2023)
- Demons And The Ghost - EP (2023)
- Demons And The Ghost EP (2023)
- Demons And The Ghost (Radio Edit) (2023)
- Demons And The Ghost (Radio Edit) (2023)
- Exhale VA004 (2023)
- Der Pakt (2023)
- Acceleration Series, Vol. I (2022)
- Acceleration Series Vol. I (2022)
- Rufmord (2022)
- Rufmord (2022)
- Exhale: Together for Ukraine! (2022)
- Fight Club, Vol. 1 (2021)
- Kreatur (2021)
- Verlangen EP (2021)
- Phalanx Pt.4 (2020)
- Rave Instructor (2020)
Full machine-verifiable record (JSON-LD, dual-chain proof, every album and recording): https://artists.proofprofile.net/storage/jsonld/artists/b028/artist-2207784.json