Transformations of logic programs with goals as arguments

DOI10.1017/S147106840400198XMaRDI QIDQ4819011zbMATH OpenOpenAlexFDO

Authors Alberto Pettorossi, Maurizio Proietti

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s147106840400198x

zbMATH Keywords

continuationshigher-order logic programmingprogram transformationunfold/fold transformation rules

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1615258
• scientific article; zbMATH DE number 1534593
• Basic transformation operations which preserve computed answer substitutions of logic programs
• The transformational approach to program development
• scientific article; zbMATH DE number 440117

Cited in

(20)

• scientific article; zbMATH DE number 1615256 (Why is no real title available?)
• scientific article; zbMATH DE number 1615258 (Why is no real title available?)
• Elimination of local variables from definite logic programs
• On optimization of monadic logic programs
• scientific article; zbMATH DE number 2084336 (Why is no real title available?)
• scientific article; zbMATH DE number 3890698 (Why is no real title available?)
• The transformational approach to program development
• Compiling associativity into logic programs
• scientific article; zbMATH DE number 512971 (Why is no real title available?)
• Supporting Transformations for the Partial Evaluation of Logic Programs
• scientific article; zbMATH DE number 1534593 (Why is no real title available?)
• Non-discriminating arguments and their uses
• scientific article; zbMATH DE number 7453187 (Why is no real title available?)
• A transformation of propositional Prolog programs into classical logic
• Basic transformation operations which preserve computed answer substitutions of logic programs
• Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
• Control generation by program transformation
• Transformations of logic programs
• Difference-list transformation for Prolog
• Grammar-related transformations of logic programs

This page was built for publication: Transformations of logic programs with goals as arguments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819011)