N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | N-Prolog: An extension of Prolog with hypothetical implications. I. |
scientific article |
Statements
N-Prolog: An extension of Prolog with hypothetical implications. I. (English)
0 references
1984
0 references
hypothetical reasoning
0 references
quantification
0 references
counterfactuals
0 references
database
0 references
