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
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