A logical reconstruction of Prolog II (Q3725539)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A logical reconstruction of Prolog II |
scientific article |
Statements
A logical reconstruction of Prolog II (English)
0 references
1984
0 references
Prolog II
0 references
tree rewriting
0 references
logic programming language
0 references
