Extending SLD resolution to equational horn clauses using E-unification (Q3821637)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending SLD resolution to equational horn clauses using E-unification |
scientific article |
Statements
Extending SLD resolution to equational horn clauses using E-unification (English)
0 references
1989
0 references
functional programming
0 references
unification
0 references
refutation
0 references
SLD resolution
0 references
completeness
0 references
congruence closure
0 references
equational Horn clauses
0 references
equational logic programs
0 references
