DLV

The DLV (DataLog with Disjunction, whereas the logical disjunction symbol V is used) 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.

单词	DLV
释义	DLV 英语百科 DLV The DLV (DataLog with Disjunction, whereas the logical disjunction symbol V is used) 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.
随便看	Device resolution Device,Respiratory Protective devices Device Safety Device,Safety Device Safety,Medical devices affording protection in the event of breakage of an aerial line devices affording protection of aerial line devices affording protection of an aerial line Devices,Assistive Devices,Biomimetic Devices,Computer Peripheral Devices,Computer Storage Devices,Contraceptive Devices,Copper Intrauterine Devices,Ear Protective device select check device select code device selected device selection bit device selection check device selection code device select line device select logic device selector