The witness properties and the semantics of the Prolog cut (Q4452589)

From MaRDI portal
scientific article; zbMATH DE number 2048570
Language Label Description Also known as
English
The witness properties and the semantics of the Prolog cut
scientific article; zbMATH DE number 2048570

    Statements

    The witness properties and the semantics of the Prolog cut (English)
    0 references
    0 references
    1 March 2004
    0 references
    0 references
    operational semantics
    0 references
    abstract semantics
    0 references
    depth-first search
    0 references
    negation as failure
    0 references
    cut.
    0 references
    0 references