A declarative extension of horn clauses, and its significance for datalog and its applications (Q5398299)

From MaRDI portal
scientific article; zbMATH DE number 6262129
Language Label Description Also known as
English
A declarative extension of horn clauses, and its significance for datalog and its applications
scientific article; zbMATH DE number 6262129

    Statements

    A declarative extension of horn clauses, and its significance for datalog and its applications (English)
    0 references
    0 references
    0 references
    0 references
    27 February 2014
    0 references
    horn clauses
    0 references
    Datalog
    0 references
    monotonic aggregates
    0 references
    stable models
    0 references

    Identifiers