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
Full machine-verifiable record (JSON-LD, dual-chain proof): https://artists.proofprofile.net/api/v1/bot/artist/2207784