A theory of complete logic programs with equality (Q3707362)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3936478
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A theory of complete logic programs with equality |
scientific article; zbMATH DE number 3936478 |
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
0.8924010396003723
0 references
0.8741006851196289
0 references
0.8729815483093262
0 references
0.8349385261535645
0 references
