The homogeneous form of logic programs with equality (Q918967)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The homogeneous form of logic programs with equality |
scientific article; zbMATH DE number 4160698
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The homogeneous form of logic programs with equality |
scientific article; zbMATH DE number 4160698 |
Statements
The homogeneous form of logic programs with equality (English)
0 references
1990
0 references
Horn clause logic programs with equality are considered. The homogeneous form of such clause sets is introduced. Further, it is assumed that clauses are symmetric, in the sense that if \(s=t\) is head of a clause then there is another analogous clause with \(t=s\). The main interest of the paper lies in the construction of a minimal Herbrand model.
0 references
Horn clause logic programs with equality
0 references
homogeneous form
0 references
minimal Herbrand model
0 references
