Compositional model-theoretic semantics for logic programs (Q1205176)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compositional model-theoretic semantics for logic programs |
scientific article |
Statements
Compositional model-theoretic semantics for logic programs (English)
0 references
1 April 1993
0 references
compositionality
0 references
Herbrand models
0 references
