SYB goes Prolog

I am about to finish a short article on SYB in Prolog.

Deadline seems to be in 30 hours from now.

If anyone has suggestions, I'd appreciate it.




Scrap Your Boilerplate---Prologically!

  • Status (30 June 2009)
Paper available in draft form.  
Code distribution not yet available online.  

  • 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

 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"

  • Downloads