Negation as inconsistency. I (Q3745320)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Negation as inconsistency. I |
scientific article |
Statements
Negation as inconsistency. I (English)
0 references
1986
0 references
logic programming
0 references
Horn clause programming
0 references
PROLOG
0 references
minimal predicate calculus
0 references
N-PROLOG
0 references
positive predicate calculus
0 references