Search: in
DLV
DLV in Encyclopedia Encyclopedia
  Tutorials     Encyclopedia     Videos     Books     Software     DVDs  
       





DLV

For the German Athletics Association, also known as the "DLV", see Deutscher Leichtathletik-Verband.
For daylight-viewable LCD computer displays, see DLV LCD.
For DNSSEC lookaside validation, see Domain Name System Security Extensions

The DLV system is a disjunctive logic programming system, implementing the stable model semantics under the Answer set programming paradigm. It extends the datalog language to allow the use of OR in rules. The tutorial page gives a simple example modeling some laughing when told a joke. joke. laugh :- joke. The following would represent the case where a joke was not told. laugh :- joke. Since the value of joke is not indicated as true in the second program it is assumed to be false.

External links






Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article



Search for DLV in Tutorials
Search for DLV in Encyclopedia
Search for DLV in Videos
Search for DLV in Books
Search for DLV in Software
Search for DLV in DVDs
Search for DLV in Store




Advertisement




DLV in Encyclopedia
DLV top DLV

Home - Add TutorGig to Your Site - Disclaimer

©2011-2013 TutorGig.info All Rights Reserved. Privacy Statement