A theory of complete logic programs with equality (Q3707362)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theory of complete logic programs with equality |
scientific article |
Statements
A theory of complete logic programs with equality (English)
0 references
1984
0 references
logic programming
0 references
Horn clause program
0 references
success set
0 references
finite failure
0 references
proof search tree
0 references
Fixed point semantics
0 references
completeness theorem
0 references
Clark schema
0 references
