Narrowing vs. SLD-resolution (Q1105364)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Narrowing vs. SLD-resolution |
scientific article |
Statements
Narrowing vs. SLD-resolution (English)
0 references
1988
0 references
A comparison is performed between narrowing and SLD-resolution as regards their use in semantic unification (or E-unification). An E-unification algorithm based on flattening and SLD-resolution is developed and proved sound and complete by establishing a correspondence between narrowing sequences and resolution sequences. An E-unification algorithm based on a refined (``selection'') narrowing strategy is derived by adapting the SLD-strategy to narrowing. Finally, possible applications to the domain of logic\(+functional\) programming are considered.
0 references
narrowing
0 references
SLD-resolution
0 references
semantic unification
0 references
E-unification
0 references
\(\log ic+functional\) programming
0 references
