Equality, types, modules, and (why not?) generics for logic programming (Q5902880)

From MaRDI portal
scientific article; zbMATH DE number 3919862
Language Label Description Also known as
English
Equality, types, modules, and (why not?) generics for logic programming
scientific article; zbMATH DE number 3919862

    Statements

    Equality, types, modules, and (why not?) generics for logic programming (English)
    0 references
    0 references
    0 references
    1984
    0 references
    extension of PROLOG
    0 references
    Eqlog
    0 references
    equality
    0 references
    sorts
    0 references
    modules
    0 references
    pre-programmed sets of Horn clauses
    0 references
    completeness theorem
    0 references

    Identifiers