From Logic to Functional Logic Programs (Q5038460)
From MaRDI portal
scientific article; zbMATH DE number 7595324
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From Logic to Functional Logic Programs |
scientific article; zbMATH DE number 7595324 |
Statements
From Logic to Functional Logic Programs (English)
0 references
30 September 2022
0 references
functional logic programming
0 references
transformation
0 references
resolution
0 references
narrowing strategies
0 references
0 references
0 references
0 references
