A computable semantics for general logic programs (Q4730755)
From MaRDI portal
scientific article; zbMATH DE number 4115930
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computable semantics for general logic programs |
scientific article; zbMATH DE number 4115930 |
Statements
A computable semantics for general logic programs (English)
0 references
1989
0 references
semantics
0 references
logic programs
0 references
three-valued logic
0 references
canonical general programs
0 references
success set
0 references
finite failure set
0 references
