Transformations of logic programs with goals as arguments (Q4819011)
From MaRDI portal
scientific article; zbMATH DE number 2102953
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transformations of logic programs with goals as arguments |
scientific article; zbMATH DE number 2102953 |
Statements
Transformations of logic programs with goals as arguments (English)
0 references
24 September 2004
0 references
program transformation
0 references
unfold/fold transformation rules
0 references
higher-order logic programming
0 references
continuations
0 references
