Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (Q3087453)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs
scientific article

    Statements

    Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (English)
    0 references
    0 references
    0 references
    16 August 2011
    0 references
    tabled evaluation
    0 references
    call subsumption
    0 references
    implementation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references