Logic and functional programming by retractions (Q3817574)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logic and functional programming by retractions
scientific article

    Statements

    Logic and functional programming by retractions (English)
    0 references
    1988
    0 references
    logic programming
    0 references
    functional programming
    0 references
    Herbrand universe
    0 references
    combinatory expressions
    0 references
    retractions
    0 references
    0 references
    0 references
    0 references

    Identifiers