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

continuationsprogram transformationhigher-order logic programmingunfold/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

(18)

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