DLV
DLV
۳۳۵ طرفدار
جدیدترینها
آخرین انتشارها
FALSE IDOLS
آخرین انتشار • EP
PAPIER
۲۰۲۶ • تکآهنگ
Meraki
۲۰۲۶ • تکآهنگ
Desde que te vi
۲۰۲۶ • تکآهنگ
طرفداران اینها را هم گوش میدهند
درباره
۳۳۵ طرفدار
۴۰ انتشار • فعال از ۲۰۱۷
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.
ادامهی بیوگرافی
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.
منبع: ویکیپدیا