Canonical logic programs (Q3721789)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Canonical logic programs
scientific article

    Statements

    Canonical logic programs (English)
    0 references
    0 references
    0 references
    1986
    0 references
    0 references
    canonical logic programs
    0 references
    greatest fixpoint
    0 references
    finite failure set
    0 references
    0 references