DLV

From Wikipedia, the free encyclopedia

You have new messages (last change).

The DLV system is a disjunctive logic programming system.

[edit] External links


Soft Eng logo This computer language-related article is a stub. You can help Wikipedia by expanding it.

The DLV is the Distributed Link Validator run by Ready Response for the purpose of checking links submitted to the Red Library.

[edit] External links


DLV is the DNSSEC Lookaside Validation project aiming to kickstart DNSSEC while the DNS root zone isn't signed yet.

Retrieved from "http://en.wikipedia.org../../../d/l/v/DLV_ede3.html"