Scrap Your Boilerplate---Prologically!

Last modified

10 Sep 2009

Downloads

• Paper: [.pdf]
• Slides: [.pdf] (14MB)
• Code: [svn]

Author(s)

Ralf Lämmel

Abstract

``Scrap Your Boilerplate'' (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the univ operator and higher-order logic programming techniques. We pay attention to the particularities of Prolog. For instance, we deal with traversal of non-ground terms. We also develop an alternative model of SYB-like traversal based on metaprogramming. This generative, type-driven model is also amenable to type-driven optimization.

Keywords

Scrap Your Boilerplate, Haskell, Prolog, Stratego.

Bibtex entry

@inproceedings{OdeToProlog,
 author = "Ralf L{\"a}mmel",
 title = "{Scrap Your Boilerplate---Prologically!}",
 booktitle = "Proceedings of the 11th ACM SIGPLAN international conference on Principles and practice of declarative programming",
 publisher = ACM,
 year = 2009,
 note = "6 pages"
}